/TFL/
drwxr-xr-x [up]
-rw-r--r-- 1997-05-20 11:49 +0200 212 README
-rw-r--r-- 1997-05-20 11:49 +0200 7817 dcterm.sml
-rw-r--r-- 1997-05-20 11:49 +0200 118 mask.sig
-rw-r--r-- 1997-05-20 11:49 +0200 713 mask.sml
-rw-r--r-- 1997-05-20 11:49 +0200 11101 post.sml
-rw-r--r-- 1997-05-20 11:49 +0200 29769 rules.new.sml
-rw-r--r-- 1997-05-20 11:49 +0200 1759 rules.sig
-rw-r--r-- 1997-05-20 11:49 +0200 1256 sys.sml
-rw-r--r-- 1997-05-20 11:49 +0200 1810 tfl.sig
-rw-r--r-- 1997-05-20 11:49 +0200 36641 tfl.sml
-rw-r--r-- 1997-05-20 11:49 +0200 285 thms.sig
-rw-r--r-- 1997-05-20 11:49 +0200 1278 thms.sml
-rw-r--r-- 1997-05-20 11:49 +0200 727 thry.sig
-rw-r--r-- 1997-05-20 11:49 +0200 5845 thry.sml
-rw-r--r-- 1997-05-20 11:49 +0200 4310 usyntax.sig
-rw-r--r-- 1997-05-20 11:49 +0200 13786 usyntax.sml
-rw-r--r-- 1997-05-20 11:49 +0200 1132 utils.sig
-rw-r--r-- 1997-05-20 11:49 +0200 3205 utils.sml