/TFL/
drwxr-xr-x [up]
-rw-r--r-- 1996-10-18 12:41 +0200 151 README
-rw-r--r-- 1996-10-18 12:41 +0200 6951 WF1.ML
-rw-r--r-- 1996-10-18 12:41 +0200 980 WF1.thy
-rw-r--r-- 1996-10-18 12:41 +0200 9072 dcterm.sml
-rw-r--r-- 1996-10-18 12:41 +0200 118 mask.sig
-rw-r--r-- 1996-10-18 12:41 +0200 713 mask.sml
-rw-r--r-- 1996-10-18 12:41 +0200 6957 post.sml
-rw-r--r-- 1996-10-18 12:41 +0200 29843 rules.new.sml
-rw-r--r-- 1996-10-18 12:41 +0200 1858 rules.sig
-rw-r--r-- 1996-10-18 12:41 +0200 1377 sys.sml
-rw-r--r-- 1996-10-18 12:41 +0200 11488 test.sml
-rw-r--r-- 1996-10-18 12:41 +0200 2653 test1.sml
-rw-r--r-- 1996-10-18 12:41 +0200 2126 tfl.sig
-rw-r--r-- 1996-10-18 12:41 +0200 38415 tfl.sml
-rw-r--r-- 1996-10-18 12:41 +0200 297 thms.sig
-rw-r--r-- 1996-10-18 12:41 +0200 1292 thms.sml
-rw-r--r-- 1996-10-18 12:41 +0200 828 thry.sig
-rw-r--r-- 1996-10-18 12:41 +0200 5657 thry.sml
-rw-r--r-- 1996-10-18 12:41 +0200 5268 usyntax.sig
-rw-r--r-- 1996-10-18 12:41 +0200 14774 usyntax.sml
-rw-r--r-- 1996-10-18 12:41 +0200 2189 utils.sig
-rw-r--r-- 1996-10-18 12:41 +0200 5124 utils.sml