# HG changeset patch
# User wenzelm
# Date 928505840 -7200
# Node ID 6eba3d69037b2a381f301a5e756ebf888de82c94
# Parent  cbe506c8311e6c3b7d4d8caaad6c0e875e59d2c1
added Group.thy;

diff -r cbe506c8311e -r 6eba3d69037b src/HOL/Isar_examples/ROOT.ML
--- a/src/HOL/Isar_examples/ROOT.ML	Fri Jun 04 16:17:10 1999 +0200
+++ b/src/HOL/Isar_examples/ROOT.ML	Fri Jun 04 16:17:20 1999 +0200
@@ -9,4 +9,5 @@
 use_thy "Peirce";
 use_thy "Cantor";
 use_thy "ExprCompiler";
+use_thy "Group";
 use_thy "NatSum";