/src/HOL/Isar_examples/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 1999-10-30 20:20 +0200 12296 BasicLogic.thy
-rw-r--r-- 1999-10-30 20:20 +0200 414 Cantor.ML
-rw-r--r-- 1999-10-30 20:20 +0200 3822 Cantor.thy
-rw-r--r-- 1999-10-30 20:20 +0200 3615 ExprCompiler.thy
-rw-r--r-- 1999-10-30 20:20 +0200 5850 Group.thy
-rw-r--r-- 1999-10-30 20:20 +0200 3285 KnasterTarski.thy
-rw-r--r-- 1999-10-30 20:20 +0200 4199 MultisetOrder.thy
-rw-r--r-- 1999-10-30 20:20 +0200 8609 MutilatedCheckerboard.thy
-rw-r--r-- 1999-10-30 20:20 +0200 2940 Peirce.thy
-rw-r--r-- 1999-10-30 20:20 +0200 384 README.html
-rw-r--r-- 1999-10-30 20:20 +0200 486 ROOT.ML
-rw-r--r-- 1999-10-30 20:20 +0200 6037 Summation.thy
-rw-r--r-- 1999-10-30 20:20 +0200 5097 W_correct.thy