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.
splitter setup;
authorwenzelm
Wed, 15 Mar 2000 18:42:13 +0100
changeset 8471 36446bf42b16
parent 8470 f06fc940c61c
child 8472 50a653f8b8ea
splitter setup;
src/FOL/FOL.thy file | annotate | diff | comparison | revisions 
--- a/src/FOL/FOL.thy	Wed Mar 15 18:41:00 2000 +0100
+++ b/src/FOL/FOL.thy	Wed Mar 15 18:42:13 2000 +0100
@@ -6,9 +6,11 @@
   classical: "(~P ==> P) ==> P"
 
 use "FOL_lemmas1.ML"
-use "cladata.ML"	setup Cla.setup setup clasetup
-use "blastdata.ML"	setup Blast.setup
+use "cladata.ML"        setup Cla.setup setup clasetup
+use "blastdata.ML"      setup Blast.setup
 use "FOL_lemmas2.ML"
-use "simpdata.ML"	setup simpsetup setup Clasimp.setup
+use "simpdata.ML"       setup simpsetup
+                        setup "Simplifier.method_setup Splitter.split_modifiers"
+                        setup Splitter.setup setup Clasimp.setup
 
 end
isabelle