/TFL/
drwxr-xr-x [up]
-rw-r--r-- 2000-05-05 22:29 +0200 6544 dcterm.sml
-rw-r--r-- 2000-05-05 22:29 +0200 9636 post.sml
-rw-r--r-- 2000-05-05 22:29 +0200 1945 rules.sig
-rw-r--r-- 2000-05-05 22:29 +0200 29165 rules.sml
-rw-r--r-- 2000-05-05 22:29 +0200 2072 tfl.sig
-rw-r--r-- 2000-05-05 22:29 +0200 40294 tfl.sml
-rw-r--r-- 2000-05-05 22:29 +0200 402 thms.sig
-rw-r--r-- 2000-05-05 22:29 +0200 1333 thms.sml
-rw-r--r-- 2000-05-05 22:29 +0200 768 thry.sig
-rw-r--r-- 2000-05-05 22:29 +0200 2176 thry.sml
-rw-r--r-- 2000-05-05 22:29 +0200 3244 usyntax.sig
-rw-r--r-- 2000-05-05 22:29 +0200 9981 usyntax.sml
-rw-r--r-- 2000-05-05 22:29 +0200 868 utils.sig
-rw-r--r-- 2000-05-05 22:29 +0200 2053 utils.sml