/TFL/
drwxr-xr-x [up]
-rw-r--r-- 2000-02-05 16:54 +0100 6544 dcterm.sml
-rw-r--r-- 2000-02-05 16:54 +0100 9869 post.sml
-rw-r--r-- 2000-02-05 16:54 +0100 1945 rules.sig
-rw-r--r-- 2000-02-05 16:54 +0100 29165 rules.sml
-rw-r--r-- 2000-02-05 16:54 +0100 2120 tfl.sig
-rw-r--r-- 2000-02-05 16:54 +0100 40299 tfl.sml
-rw-r--r-- 2000-02-05 16:54 +0100 402 thms.sig
-rw-r--r-- 2000-02-05 16:54 +0100 1333 thms.sml
-rw-r--r-- 2000-02-05 16:54 +0100 768 thry.sig
-rw-r--r-- 2000-02-05 16:54 +0100 2152 thry.sml
-rw-r--r-- 2000-02-05 16:54 +0100 3244 usyntax.sig
-rw-r--r-- 2000-02-05 16:54 +0100 9981 usyntax.sml
-rw-r--r-- 2000-02-05 16:54 +0100 868 utils.sig
-rw-r--r-- 2000-02-05 16:54 +0100 2053 utils.sml