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.
patch to get it working again
authorpaulson
Fri, 01 Apr 2005 11:12:39 +0200
changeset 15645 5e20c54683d3
parent 15644 f2ef8c258fa4
child 15646 b45393fb38c0
patch to get it working again
src/HOL/Reconstruction.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Reconstruction.thy	Thu Mar 31 20:12:54 2005 +0200
+++ b/src/HOL/Reconstruction.thy	Fri Apr 01 11:12:39 2005 +0200
@@ -13,7 +13,6 @@
 	  "Tools/res_skolem_function.ML"
 	  "Tools/res_axioms.ML"
 	  "Tools/res_types_sorts.ML"
-	  "Tools/res_atp.ML"
           "Tools/reconstruction.ML"
 
 begin
isabelle