ObjectLogic.setup;
authorwenzelm
Sun Oct 14 20:08:26 2001 +0200 (2001-10-14)
changeset 11761183435fd45f2
parent 11760 8e906f051fbc
child 11762 7aa0702d3340
ObjectLogic.setup;
src/Pure/pure.ML
     1.1 --- a/src/Pure/pure.ML	Sun Oct 14 20:08:11 2001 +0200
     1.2 +++ b/src/Pure/pure.ML	Sun Oct 14 20:08:26 2001 +0200
     1.3 @@ -9,6 +9,7 @@
     1.4    val common_setup =
     1.5      Locale.setup @
     1.6      HTML.setup @
     1.7 +    ObjectLogic.setup @
     1.8      ProofContext.setup @
     1.9      Attrib.setup @
    1.10      InductAttrib.setup @