src/Pure/ROOT.ML
changeset 635 034fda1c4873
parent 618 97b715e65f70
child 913 8aaa8c5a567e
     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