/src/HOL/Isar_examples/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2000-09-17 22:19 +0200 12873 BasicLogic.thy
-rw-r--r-- 2000-09-17 22:19 +0200 385 Cantor.ML
-rw-r--r-- 2000-09-17 22:19 +0200 3651 Cantor.thy
-rw-r--r-- 2000-09-17 22:19 +0200 7038 ExprCompiler.thy
-rw-r--r-- 2000-09-17 22:19 +0200 4885 Fibonacci.thy
-rw-r--r-- 2000-09-17 22:19 +0200 5766 Group.thy
-rw-r--r-- 2000-09-17 22:19 +0200 3198 KnasterTarski.thy
-rw-r--r-- 2000-09-17 22:19 +0200 4138 MultisetOrder.thy
-rw-r--r-- 2000-09-17 22:19 +0200 8304 MutilatedCheckerboard.thy
-rw-r--r-- 2000-09-17 22:19 +0200 2202 NestedDatatype.thy
-rw-r--r-- 2000-09-17 22:19 +0200 2898 Peirce.thy
-rw-r--r-- 2000-09-17 22:19 +0200 2930 Puzzle.thy
-rw-r--r-- 2000-09-17 22:19 +0200 384 README.html
-rw-r--r-- 2000-09-17 22:19 +0200 610 ROOT.ML
-rw-r--r-- 2000-09-17 22:19 +0200 5965 Summation.thy
-rw-r--r-- 2000-09-17 22:19 +0200 4273 W_correct.thy