/src/HOL/TLA/
drwxr-xr-x [up]
drwxr-xr-x Buffer
drwxr-xr-x Inc
drwxr-xr-x Memory
-rw-r--r-- 2001-10-26 23:58 +0200 7565 Action.ML
-rw-r--r-- 2001-10-26 23:58 +0200 2164 Action.thy
-rw-r--r-- 2001-10-26 23:58 +0200 1509 Init.ML
-rw-r--r-- 2001-10-26 23:58 +0200 1022 Init.thy
-rw-r--r-- 2001-10-26 23:58 +0200 3993 Intensional.ML
-rw-r--r-- 2001-10-26 23:58 +0200 8125 Intensional.thy
-rw-r--r-- 2001-10-26 23:58 +0200 2330 README.html
-rw-r--r-- 2001-10-26 23:58 +0200 170 ROOT.ML
-rw-r--r-- 2001-10-26 23:58 +0200 665 Stfun.ML
-rw-r--r-- 2001-10-26 23:58 +0200 2086 Stfun.thy
-rw-r--r-- 2001-10-26 23:58 +0200 37098 TLA.ML
-rw-r--r-- 2001-10-26 23:58 +0200 3796 TLA.thy