author | wenzelm |
Sun, 29 Aug 1999 17:53:03 +0200 | |
changeset 7384 | 33c976216121 |
parent 6882 | fe4e3d26fa8f |
child 7436 | 1f8ce3f7ccb4 |
permissions | -rw-r--r-- |
(* Title: HOL/Isar_examples/ROOT.ML ID: $Id$ Author: Markus Wenzel, TU Muenchen Miscellaneous Isabelle/Isar examples for Higher-Order Logic. *) time_use_thy "BasicLogic"; time_use_thy "Peirce"; time_use_thy "Cantor"; time_use_thy "ExprCompiler"; time_use_thy "Group"; time_use_thy "NatSum"; time_use_thy "KnasterTarski"; time_use_thy "MutilatedCheckerboard";