AxClass no longer open;
authorwenzelm
Wed, 12 Oct 1994 16:29:10 +0100
changeset 635 034fda1c4873
parent 634 8a5f6961250f
child 636 31b36d96f7d6
AxClass no longer open;
src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Wed Oct 12 12:20:18 1994 +0100
+++ b/src/Pure/ROOT.ML	Wed Oct 12 16:29:10 1994 +0100
@@ -62,7 +62,7 @@
                            and Tactic=Tactic and Pattern=Pattern);
 structure AxClass = AxClassFun(structure Logic = Logic
   and Goals = Goals and Tactic = Tactic);
-open BasicSyntax Thm Drule Tactical Tactic Goals AxClass;
+open BasicSyntax Thm Drule Tactical Tactic Goals;
 
 structure Pure = struct val thy = pure_thy end;