/TFL/
drwxr-xr-x [up]
-rw-r--r-- 1999-01-14 14:39 +0100 6530 dcterm.sml
-rw-r--r-- 1999-01-14 14:39 +0100 10126 post.sml
-rw-r--r-- 1999-01-14 14:39 +0100 28891 rules.new.sml
-rw-r--r-- 1999-01-14 14:39 +0100 1874 rules.sig
-rw-r--r-- 1999-01-14 14:39 +0100 931 sys.sml
-rw-r--r-- 1999-01-14 14:39 +0100 1655 tfl.sig
-rw-r--r-- 1999-01-14 14:39 +0100 35958 tfl.sml
-rw-r--r-- 1999-01-14 14:39 +0100 430 thms.sig
-rw-r--r-- 1999-01-14 14:39 +0100 1395 thms.sml
-rw-r--r-- 1999-01-14 14:39 +0100 768 thry.sig
-rw-r--r-- 1999-01-14 14:39 +0100 2127 thry.sml
-rw-r--r-- 1999-01-14 14:39 +0100 3244 usyntax.sig
-rw-r--r-- 1999-01-14 14:39 +0100 10017 usyntax.sml
-rw-r--r-- 1999-01-14 14:39 +0100 868 utils.sig
-rw-r--r-- 1999-01-14 14:39 +0100 2053 utils.sml