Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/FOL/IFOL.thy
changeset 16019 0e1405402d53
parent 15481 fc075ae929e4
child 16121 a80aa66d2271 
--- a/src/FOL/IFOL.thy	Sun May 22 16:51:06 2005 +0200
+++ b/src/FOL/IFOL.thy	Sun May 22 16:51:07 2005 +0200
@@ -140,7 +140,6 @@
 
 subsection {* Lemmas and proof tools *}
 
-setup Simplifier.setup
 use "IFOL_lemmas.ML"
 
 use "fologic.ML"
isabelle