temporarily removed ATP code
authorpaulson
Fri Apr 08 10:50:02 2005 +0200 (2005-04-08)
changeset 15683196f40d3ffea
parent 15682 09a7b8909c4d
child 15684 5ec4d21889d6
temporarily removed ATP code
src/HOL/Reconstruction.thy
     1.1 --- a/src/HOL/Reconstruction.thy	Thu Apr 07 18:44:45 2005 +0200
     1.2 +++ b/src/HOL/Reconstruction.thy	Fri Apr 08 10:50:02 2005 +0200
     1.3 @@ -14,6 +14,7 @@
     1.4  	  "Tools/res_axioms.ML"
     1.5  	  "Tools/res_types_sorts.ML"
     1.6  
     1.7 +(*
     1.8            "Tools/ATP/recon_prelim.ML"
     1.9  	  "Tools/ATP/recon_gandalf_base.ML"
    1.10   	  "Tools/ATP/recon_order_clauses.ML"
    1.11 @@ -26,6 +27,7 @@
    1.12  	  "Tools/ATP/watcher.sig"
    1.13  	  "Tools/ATP/watcher.ML"
    1.14  	  "Tools/res_atp.ML"
    1.15 +*)
    1.16  
    1.17            "Tools/reconstruction.ML"
    1.18