/src/HOL/TLA/
drwxr-xr-x [up]
drwxr-xr-x Buffer
drwxr-xr-x Inc
drwxr-xr-x Memory
-rw-r--r-- 2006-08-14 13:46 +0200 7907 Action.ML
-rw-r--r-- 2006-08-14 13:46 +0200 2281 Action.thy
-rw-r--r-- 2006-08-14 13:46 +0200 1528 Init.ML
-rw-r--r-- 2006-08-14 13:46 +0200 1140 Init.thy
-rw-r--r-- 2006-08-14 13:46 +0200 4049 Intensional.ML
-rw-r--r-- 2006-08-14 13:46 +0200 9094 Intensional.thy
-rw-r--r-- 2006-08-14 13:46 +0200 2540 README.html
-rw-r--r-- 2006-08-14 13:46 +0200 191 ROOT.ML
-rw-r--r-- 2006-08-14 13:46 +0200 1775 Stfun.ML
-rw-r--r-- 2006-08-14 13:46 +0200 1956 Stfun.thy
-rw-r--r-- 2006-08-14 13:46 +0200 37483 TLA.ML
-rw-r--r-- 2006-08-14 13:46 +0200 4171 TLA.thy