/src/HOL/TLA/
drwxr-xr-x [up]
drwxr-xr-x Buffer
drwxr-xr-x Inc
drwxr-xr-x Memory
-rw-r--r-- 2005-06-28 15:27 +0200 7568 Action.ML
-rw-r--r-- 2005-06-28 15:27 +0200 2164 Action.thy
-rw-r--r-- 2005-06-28 15:27 +0200 1509 Init.ML
-rw-r--r-- 2005-06-28 15:27 +0200 1022 Init.thy
-rw-r--r-- 2005-06-28 15:27 +0200 3993 Intensional.ML
-rw-r--r-- 2005-06-28 15:27 +0200 8876 Intensional.thy
-rw-r--r-- 2005-06-28 15:27 +0200 2533 README.html
-rw-r--r-- 2005-06-28 15:27 +0200 170 ROOT.ML
-rw-r--r-- 2005-06-28 15:27 +0200 1749 Stfun.ML
-rw-r--r-- 2005-06-28 15:27 +0200 1884 Stfun.thy
-rw-r--r-- 2005-06-28 15:27 +0200 37055 TLA.ML
-rw-r--r-- 2005-06-28 15:27 +0200 4011 TLA.thy