Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed ObjectLogic.setup;
authorwenzelm
Sat, 05 Jun 1999 20:29:07 +0200
changeset 6785 10b77354862b
parent 6784 687ddcad8581
child 6786 0af1797d5315
removed ObjectLogic.setup;
src/Pure/pure.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/pure.ML	Sat Jun 05 20:28:45 1999 +0200
+++ b/src/Pure/pure.ML	Sat Jun 05 20:29:07 1999 +0200
@@ -7,7 +7,6 @@
 
 local
   val common_setup =
-    ObjectLogic.setup @
     Locale.setup @
     HTML.setup @
     ProofContext.setup @
isabelle