# HG changeset patch
# User wenzelm
# Date 935941983 -7200
# Node ID 33c976216121bf9401f866c15ebefedd29ab8f45
# Parent  9c4ef0d3f36c6049dcca1e1dfe1529f46fd7d830
added MutilatedCheckerboard;

diff -r 9c4ef0d3f36c -r 33c976216121 src/HOL/Isar_examples/ROOT.ML
--- a/src/HOL/Isar_examples/ROOT.ML	Sun Aug 29 17:52:44 1999 +0200
+++ b/src/HOL/Isar_examples/ROOT.ML	Sun Aug 29 17:53:03 1999 +0200
@@ -5,10 +5,11 @@
 Miscellaneous Isabelle/Isar examples for Higher-Order Logic.
 *)
 
-use_thy "BasicLogic";
-use_thy "Peirce";
-use_thy "Cantor";
-use_thy "ExprCompiler";
-use_thy "Group";
-use_thy "NatSum";
-use_thy "KnasterTarski";
+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";