/src/HOL/Isar_examples/
drwxr-xr-x [up]
-rw-r--r-- 1999-09-23 13:06 +0200 3083 BasicLogic.thy
-rw-r--r-- 1999-09-23 13:06 +0200 414 Cantor.ML
-rw-r--r-- 1999-09-23 13:06 +0200 3343 Cantor.thy
-rw-r--r-- 1999-09-23 13:06 +0200 3167 ExprCompiler.thy
-rw-r--r-- 1999-09-23 13:06 +0200 4229 Group.thy
-rw-r--r-- 1999-09-23 13:06 +0200 2052 KnasterTarski.thy
-rw-r--r-- 1999-09-23 13:06 +0200 3916 MultisetOrder.thy
-rw-r--r-- 1999-09-23 13:06 +0200 8410 MutilatedCheckerboard.thy
-rw-r--r-- 1999-09-23 13:06 +0200 748 Peirce.thy
-rw-r--r-- 1999-09-23 13:06 +0200 551 README.html
-rw-r--r-- 1999-09-23 13:06 +0200 442 ROOT.ML
-rw-r--r-- 1999-09-23 13:06 +0200 2362 Summation.thy