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