/src/HOL/Isar_examples/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2000-05-21 14:49 +0200 12294 BasicLogic.thy
-rw-r--r-- 2000-05-21 14:49 +0200 414 Cantor.ML
-rw-r--r-- 2000-05-21 14:49 +0200 3822 Cantor.thy
-rw-r--r-- 2000-05-21 14:49 +0200 7178 ExprCompiler.thy
-rw-r--r-- 2000-05-21 14:49 +0200 5091 Fibonacci.thy
-rw-r--r-- 2000-05-21 14:49 +0200 5850 Group.thy
-rw-r--r-- 2000-05-21 14:49 +0200 3281 KnasterTarski.thy
-rw-r--r-- 2000-05-21 14:49 +0200 4301 MultisetOrder.thy
-rw-r--r-- 2000-05-21 14:49 +0200 8554 MutilatedCheckerboard.thy
-rw-r--r-- 2000-05-21 14:49 +0200 2261 NestedDatatype.thy
-rw-r--r-- 2000-05-21 14:49 +0200 2940 Peirce.thy
-rw-r--r-- 2000-05-21 14:49 +0200 3056 Puzzle.thy
-rw-r--r-- 2000-05-21 14:49 +0200 384 README.html
-rw-r--r-- 2000-05-21 14:49 +0200 584 ROOT.ML
-rw-r--r-- 2000-05-21 14:49 +0200 6044 Summation.thy
-rw-r--r-- 2000-05-21 14:49 +0200 4518 W_correct.thy