--- 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";