author | paulson |
Fri, 08 Apr 2005 10:50:02 +0200 | |
changeset 15683 | 196f40d3ffea |
parent 15682 | 09a7b8909c4d |
child 15684 | 5ec4d21889d6 |
--- a/src/HOL/Reconstruction.thy Thu Apr 07 18:44:45 2005 +0200 +++ b/src/HOL/Reconstruction.thy Fri Apr 08 10:50:02 2005 +0200 @@ -14,6 +14,7 @@ "Tools/res_axioms.ML" "Tools/res_types_sorts.ML" +(* "Tools/ATP/recon_prelim.ML" "Tools/ATP/recon_gandalf_base.ML" "Tools/ATP/recon_order_clauses.ML" @@ -26,6 +27,7 @@ "Tools/ATP/watcher.sig" "Tools/ATP/watcher.ML" "Tools/res_atp.ML" +*) "Tools/reconstruction.ML"