/TFL/
drwxr-xr-x [up]
-rw-r--r-- 1997-07-09 16:52 +0200 212 README
-rw-r--r-- 1997-07-09 16:52 +0200 6530 dcterm.sml
-rw-r--r-- 1997-07-09 16:52 +0200 10075 post.sml
-rw-r--r-- 1997-07-09 16:52 +0200 28925 rules.new.sml
-rw-r--r-- 1997-07-09 16:52 +0200 1874 rules.sig
-rw-r--r-- 1997-07-09 16:52 +0200 928 sys.sml
-rw-r--r-- 1997-07-09 16:52 +0200 1655 tfl.sig
-rw-r--r-- 1997-07-09 16:52 +0200 36040 tfl.sml
-rw-r--r-- 1997-07-09 16:52 +0200 430 thms.sig
-rw-r--r-- 1997-07-09 16:52 +0200 1395 thms.sml
-rw-r--r-- 1997-07-09 16:52 +0200 768 thry.sig
-rw-r--r-- 1997-07-09 16:52 +0200 3565 thry.sml
-rw-r--r-- 1997-07-09 16:52 +0200 3285 usyntax.sig
-rw-r--r-- 1997-07-09 16:52 +0200 10094 usyntax.sml
-rw-r--r-- 1997-07-09 16:52 +0200 868 utils.sig
-rw-r--r-- 1997-07-09 16:52 +0200 2053 utils.sml