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.
load ML files only once;
authorwenzelm
Fri, 21 May 2004 21:17:37 +0200
changeset 14771 c2bf21b5564e
parent 14770 fe9504ba63d5
child 14772 c52060b69a8c
load ML files only once;
src/HOL/Refute.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Refute.thy	Fri May 21 21:16:51 2004 +0200
+++ b/src/HOL/Refute.thy	Fri May 21 21:17:37 2004 +0200
@@ -15,11 +15,6 @@
       "Tools/refute.ML"
       "Tools/refute_isar.ML":
 
-use "Tools/prop_logic.ML"
-use "Tools/sat_solver.ML"
-use "Tools/refute.ML"
-use "Tools/refute_isar.ML"
-
 setup Refute.setup
 
 text {*
isabelle