/TFL/
drwxr-xr-x [up]
-rw-r--r-- 1997-05-23 18:55 +0200 212 README
-rw-r--r-- 1997-05-23 18:55 +0200 7986 dcterm.sml
-rw-r--r-- 1997-05-23 18:55 +0200 285 mask.sig
-rw-r--r-- 1997-05-23 18:55 +0200 880 mask.sml
-rw-r--r-- 1997-05-23 18:55 +0200 11439 post.sml
-rw-r--r-- 1997-05-23 18:55 +0200 29977 rules.new.sml
-rw-r--r-- 1997-05-23 18:55 +0200 1969 rules.sig
-rw-r--r-- 1997-05-23 18:55 +0200 1417 sys.sml
-rw-r--r-- 1997-05-23 18:55 +0200 1994 tfl.sig
-rw-r--r-- 1997-05-23 18:55 +0200 36737 tfl.sml
-rw-r--r-- 1997-05-23 18:55 +0200 452 thms.sig
-rw-r--r-- 1997-05-23 18:55 +0200 1419 thms.sml
-rw-r--r-- 1997-05-23 18:55 +0200 894 thry.sig
-rw-r--r-- 1997-05-23 18:55 +0200 6012 thry.sml
-rw-r--r-- 1997-05-23 18:55 +0200 4526 usyntax.sig
-rw-r--r-- 1997-05-23 18:55 +0200 13956 usyntax.sml
-rw-r--r-- 1997-05-23 18:55 +0200 1317 utils.sig
-rw-r--r-- 1997-05-23 18:55 +0200 3204 utils.sml