equal
deleted
inserted
replaced
3 Author: Markus Wenzel, TU Muenchen |
3 Author: Markus Wenzel, TU Muenchen |
4 |
4 |
5 Miscellaneous Isabelle/Isar examples for Higher-Order Logic. |
5 Miscellaneous Isabelle/Isar examples for Higher-Order Logic. |
6 *) |
6 *) |
7 |
7 |
8 use_thy "BasicLogic"; |
8 time_use_thy "BasicLogic"; |
9 use_thy "Peirce"; |
9 time_use_thy "Peirce"; |
10 use_thy "Cantor"; |
10 time_use_thy "Cantor"; |
11 use_thy "ExprCompiler"; |
11 time_use_thy "ExprCompiler"; |
12 use_thy "Group"; |
12 time_use_thy "Group"; |
13 use_thy "NatSum"; |
13 time_use_thy "NatSum"; |
14 use_thy "KnasterTarski"; |
14 time_use_thy "KnasterTarski"; |
|
15 time_use_thy "MutilatedCheckerboard"; |