/TFL/
drwxr-xr-x [up]
-rw-r--r-- 1997-05-27 14:38 +0200 212 README
-rw-r--r-- 1997-05-27 14:38 +0200 7715 dcterm.sml
-rw-r--r-- 1997-05-27 14:38 +0200 11476 post.sml
-rw-r--r-- 1997-05-27 14:38 +0200 29809 rules.new.sml
-rw-r--r-- 1997-05-27 14:38 +0200 1947 rules.sig
-rw-r--r-- 1997-05-27 14:38 +0200 1386 sys.sml
-rw-r--r-- 1997-05-27 14:38 +0200 2004 tfl.sig
-rw-r--r-- 1997-05-27 14:38 +0200 36885 tfl.sml
-rw-r--r-- 1997-05-27 14:38 +0200 452 thms.sig
-rw-r--r-- 1997-05-27 14:38 +0200 1419 thms.sml
-rw-r--r-- 1997-05-27 14:38 +0200 867 thry.sig
-rw-r--r-- 1997-05-27 14:38 +0200 5961 thry.sml
-rw-r--r-- 1997-05-27 14:38 +0200 4173 usyntax.sig
-rw-r--r-- 1997-05-27 14:38 +0200 13643 usyntax.sml
-rw-r--r-- 1997-05-27 14:38 +0200 1244 utils.sig
-rw-r--r-- 1997-05-27 14:38 +0200 3150 utils.sml