/src/HOL/TLA/
drwxr-xr-x [up]
drwxr-xr-x Buffer
drwxr-xr-x Inc
drwxr-xr-x Memory
-rw-r--r-- 1997-12-24 10:02 +0100 12463 Action.ML
-rw-r--r-- 1997-12-24 10:02 +0100 1735 Action.thy
-rw-r--r-- 1997-12-24 10:02 +0100 13445 IntLemmas.ML
-rw-r--r-- 1997-12-24 10:02 +0100 7071 Intensional.ML
-rw-r--r-- 1997-12-24 10:02 +0100 3752 Intensional.thy
-rw-r--r-- 1997-12-24 10:02 +0100 1793 README.html
-rw-r--r-- 1997-12-24 10:02 +0100 734 ROOT.ML
-rw-r--r-- 1997-12-24 10:02 +0100 814 Stfun.ML
-rw-r--r-- 1997-12-24 10:02 +0100 1445 Stfun.thy
-rw-r--r-- 1997-12-24 10:02 +0100 42267 TLA.ML
-rw-r--r-- 1997-12-24 10:02 +0100 3198 TLA.thy
-rw-r--r-- 1997-12-24 10:02 +0100 1740 cladata.ML
-rw-r--r-- 1997-12-24 10:02 +0100 8907 hypsubst.ML