/src/Cube/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 2001-08-06 12:42 +0200 54 Base.ML
-rw-r--r-- 2001-08-06 12:42 +0200 2301 Base.thy
-rw-r--r-- 2001-08-06 12:42 +0200 61 CC.ML
-rw-r--r-- 2001-08-06 12:42 +0200 24 CC.thy
-rw-r--r-- 2001-08-06 12:42 +0200 64 Cube.thy
-rw-r--r-- 2001-08-06 12:42 +0200 722 IsaMakefile
-rw-r--r-- 2001-08-06 12:42 +0200 35 L2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 209 L2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 35 LP.ML
-rw-r--r-- 2001-08-06 12:42 +0200 210 LP.thy
-rw-r--r-- 2001-08-06 12:42 +0200 49 LP2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 15 LP2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 53 LPomega.ML
-rw-r--r-- 2001-08-06 12:42 +0200 23 LPomega.thy
-rw-r--r-- 2001-08-06 12:42 +0200 39 Lomega.ML
-rw-r--r-- 2001-08-06 12:42 +0200 216 Lomega.thy
-rw-r--r-- 2001-08-06 12:42 +0200 53 Lomega2.ML
-rw-r--r-- 2001-08-06 12:42 +0200 23 Lomega2.thy
-rw-r--r-- 2001-08-06 12:42 +0200 532 README.html
-rw-r--r-- 2001-08-06 12:42 +0200 272 ROOT.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1752 cube.ML
-rw-r--r-- 2001-08-06 12:42 +0200 1863 cube.thy