src/HOL/GroupTheory/ROOT.ML
changeset 13906 eefdd6b14508
parent 13870 cf947d1ec5ff
child 13943 83d842ccd4aa
     1.1 --- a/src/HOL/GroupTheory/ROOT.ML	Tue Apr 08 09:44:21 2003 +0200
     1.2 +++ b/src/HOL/GroupTheory/ROOT.ML	Wed Apr 09 12:51:49 2003 +0200
     1.3 @@ -1,4 +1,3 @@
     1.4  no_document use_thy "FuncSet";
     1.5  
     1.6  use_thy "Bij";
     1.7 -use_thy "Summation";
     1.8 \ No newline at end of file