src/Pure/pure.ML
changeset 6888 d0c68ebdabc5
parent 6785 10b77354862b
child 7718 86755cc5b83c
     1.1 --- a/src/Pure/pure.ML	Fri Jul 02 15:05:16 1999 +0200
     1.2 +++ b/src/Pure/pure.ML	Fri Jul 02 19:04:32 1999 +0200
     1.3 @@ -13,6 +13,7 @@
     1.4      Attrib.setup @
     1.5      Method.setup @
     1.6      Calculation.setup @
     1.7 +    SkipProof.setup @
     1.8      AxClass.setup @
     1.9      BrowserInfo.setup @
    1.10      Isamode.setup @