src/HOL/Isar_examples/ROOT.ML

--- a/src/HOL/Isar_examples/ROOT.ML	Thu Jul 01 21:29:53 1999 +0200
+++ b/src/HOL/Isar_examples/ROOT.ML	Thu Jul 01 21:30:18 1999 +0200
@@ -11,3 +11,4 @@
 use_thy "ExprCompiler";
 use_thy "Group";
 use_thy "NatSum";
+use_thy "KnasterTarski";