# HG changeset patch
# User paulson
# Date 1033115645 -7200
# Node ID d8e98ef3ad1333a364780f1bde48c143e219efd5
# Parent  b6d1a29dc9789d39ffabe3899b060bf09e5ce5f4
Modules theory added

diff -r b6d1a29dc978 -r d8e98ef3ad13 src/HOL/GroupTheory/ROOT.ML
--- a/src/HOL/GroupTheory/ROOT.ML	Fri Sep 27 10:33:47 2002 +0200
+++ b/src/HOL/GroupTheory/ROOT.ML	Fri Sep 27 10:34:05 2002 +0200
@@ -2,4 +2,4 @@
 no_document use_thy "FuncSet";
 
 use_thy "Sylow";
-use_thy "Ring";
+use_thy "Module";