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.
do not open structure;
authorwenzelm
Thu, 02 Feb 2006 21:59:55 +0100
changeset 18914 5a476b10d69c
parent 18913 57f19fad8c2a
child 18915 7521b849ae98
do not open structure;
src/FOL/FOL.ML file | annotate | diff | comparison | revisions
src/FOL/IFOL.ML file | annotate | diff | comparison | revisions 
--- a/src/FOL/FOL.ML	Thu Feb 02 19:57:13 2006 +0100
+++ b/src/FOL/FOL.ML	Thu Feb 02 21:59:55 2006 +0100
@@ -4,5 +4,3 @@
   val thy = the_context ();
   val classical = classical;
 end;
-
-open FOL;
--- a/src/FOL/IFOL.ML	Thu Feb 02 19:57:13 2006 +0100
+++ b/src/FOL/IFOL.ML	Thu Feb 02 21:59:55 2006 +0100
@@ -24,5 +24,3 @@
   val eq_reflection = eq_reflection;
   val iff_reflection = iff_reflection;
 end;
-
-open IFOL;
isabelle