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/HOL/Reconstruction.thy
changeset 16039 dfe264950511
parent 16009 a6d480e6c5f0
child 16090 fbb5ae140535 
--- a/src/HOL/Reconstruction.thy	Sun May 22 19:26:18 2005 +0200
+++ b/src/HOL/Reconstruction.thy	Mon May 23 00:18:51 2005 +0200
@@ -21,7 +21,7 @@
  	  "Tools/ATP/recon_transfer_proof.ML"
 	  "Tools/ATP/VampireCommunication.ML"
 	  "Tools/ATP/SpassCommunication.ML"
-	  "Tools/ATP/modUnix.ML"
+	 (* "Tools/ATP/modUnix.ML"**)
 	  "Tools/ATP/watcher.sig"
 	  "Tools/ATP/watcher.ML"
 	  "Tools/ATP/res_clasimpset.ML"
isabelle