--- a/src/HOL/GroupTheory/ROOT.ML Tue Dec 10 10:40:32 2002 +0100 +++ b/src/HOL/GroupTheory/ROOT.ML Wed Dec 11 10:12:48 2002 +0100 @@ -3,3 +3,4 @@ use_thy "Sylow"; use_thy "Module"; +use_thy "Summation"; \ No newline at end of file