/src/HOL/Isar_examples/
drwxr-xr-x [up]
-rw-r--r-- 1999-04-16 17:44 +0200 1982 BasicLogic.thy
-rw-r--r-- 1999-04-16 17:44 +0200 283 Cantor.thy
-rw-r--r-- 1999-04-16 17:44 +0200 3300 ExprCompiler.thy
-rw-r--r-- 1999-04-16 17:44 +0200 844 Peirce.thy
-rw-r--r-- 1999-04-16 17:44 +0200 254 ROOT.ML