/src/HOL/TLA/
drwxr-xr-x [up]
drwxr-xr-x Buffer
drwxr-xr-x Inc
drwxr-xr-x Memory
-rw-r--r-- 2000-05-30 18:02 +0200 9252 Action.ML
-rw-r--r-- 2000-05-30 18:02 +0200 2166 Action.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1509 Init.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1026 Init.thy
-rw-r--r-- 2000-05-30 18:02 +0200 11990 IntLemmas.ML
-rw-r--r-- 2000-05-30 18:02 +0200 4767 Intensional.ML
-rw-r--r-- 2000-05-30 18:02 +0200 8118 Intensional.thy
-rw-r--r-- 2000-05-30 18:02 +0200 2330 README.html
-rw-r--r-- 2000-05-30 18:02 +0200 170 ROOT.ML
-rw-r--r-- 2000-05-30 18:02 +0200 665 Stfun.ML
-rw-r--r-- 2000-05-30 18:02 +0200 2090 Stfun.thy
-rw-r--r-- 2000-05-30 18:02 +0200 40330 TLA.ML
-rw-r--r-- 2000-05-30 18:02 +0200 3792 TLA.thy