changeset 15683 | 196f40d3ffea |
parent 15678 | 28cc2314c7ff |
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"