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