/src/Cube/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 1998-12-07 18:26 +0100 54 Base.ML
-rw-r--r-- 1998-12-07 18:26 +0100 2301 Base.thy
-rw-r--r-- 1998-12-07 18:26 +0100 61 CC.ML
-rw-r--r-- 1998-12-07 18:26 +0100 24 CC.thy
-rw-r--r-- 1998-12-07 18:26 +0100 63 Cube.thy
-rw-r--r-- 1998-12-07 18:26 +0100 720 IsaMakefile
-rw-r--r-- 1998-12-07 18:26 +0100 35 L2.ML
-rw-r--r-- 1998-12-07 18:26 +0100 209 L2.thy
-rw-r--r-- 1998-12-07 18:26 +0100 52 LOmega.ML
-rw-r--r-- 1998-12-07 18:26 +0100 22 LOmega.thy
-rw-r--r-- 1998-12-07 18:26 +0100 35 LP.ML
-rw-r--r-- 1998-12-07 18:26 +0100 210 LP.thy
-rw-r--r-- 1998-12-07 18:26 +0100 49 LP2.ML
-rw-r--r-- 1998-12-07 18:26 +0100 15 LP2.thy
-rw-r--r-- 1998-12-07 18:26 +0100 53 LPomega.ML
-rw-r--r-- 1998-12-07 18:26 +0100 23 LPomega.thy
-rw-r--r-- 1998-12-07 18:26 +0100 39 Lomega.ML
-rw-r--r-- 1998-12-07 18:26 +0100 216 Lomega.thy
-rw-r--r-- 1998-12-07 18:26 +0100 532 README.html
-rw-r--r-- 1998-12-07 18:26 +0100 335 ROOT.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1752 cube.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1863 cube.thy