/TFL/
drwxr-xr-x [up]
-rw-r--r-- 1997-06-03 11:08 +0200 212 README
-rw-r--r-- 1997-06-03 11:08 +0200 6884 dcterm.sml
-rw-r--r-- 1997-06-03 11:08 +0200 11334 post.sml
-rw-r--r-- 1997-06-03 11:08 +0200 29683 rules.new.sml
-rw-r--r-- 1997-06-03 11:08 +0200 1942 rules.sig
-rw-r--r-- 1997-06-03 11:08 +0200 928 sys.sml
-rw-r--r-- 1997-06-03 11:08 +0200 1890 tfl.sig
-rw-r--r-- 1997-06-03 11:08 +0200 36490 tfl.sml
-rw-r--r-- 1997-06-03 11:08 +0200 452 thms.sig
-rw-r--r-- 1997-06-03 11:08 +0200 1419 thms.sml
-rw-r--r-- 1997-06-03 11:08 +0200 867 thry.sig
-rw-r--r-- 1997-06-03 11:08 +0200 5882 thry.sml
-rw-r--r-- 1997-06-03 11:08 +0200 3787 usyntax.sig
-rw-r--r-- 1997-06-03 11:08 +0200 12461 usyntax.sml
-rw-r--r-- 1997-06-03 11:08 +0200 868 utils.sig
-rw-r--r-- 1997-06-03 11:08 +0200 2053 utils.sml