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 rulify_attrib_setup;
authorwenzelm
Thu, 07 Sep 2000 20:49:39 +0200
changeset 9890 144ecc001b8f
parent 9889 8802b140334c
child 9891 133c845d2bd1
removed rulify_attrib_setup;
src/HOL/HOL.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/HOL.thy	Thu Sep 07 20:49:19 2000 +0200
+++ b/src/HOL/HOL.thy	Thu Sep 07 20:49:39 2000 +0200
@@ -227,7 +227,6 @@
 setup Simplifier.setup
 setup "Simplifier.method_setup Splitter.split_modifiers" setup simpsetup
 setup Splitter.setup setup Clasimp.setup
-setup rulify_attrib_setup
 
 use "meson_lemmas.ML"
 use "Tools/meson.ML"
isabelle