src/HOL/IsaMakefile
changeset 17484 f6a225f97f0a
parent 17460 7780d953598c
child 17488 67376a311a2b
     1.1 --- a/src/HOL/IsaMakefile	Mon Sep 19 14:20:45 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Sep 19 15:12:13 2005 +0200
     1.3 @@ -93,8 +93,7 @@
     1.4    Orderings.ML Orderings.thy Power.thy PreList.thy Product_Type.thy		\
     1.5    ROOT.ML Recdef.thy Reconstruction.thy Record.thy Refute.thy			\
     1.6    Relation.ML Relation.thy Relation_Power.thy Ring_and_Field.thy Set.ML		\
     1.7 -  Set.thy SetInterval.thy Sum_Type.thy Tools/ATP/SpassCommunication.ML		\
     1.8 -  Tools/ATP/VampCommunication.ML						\
     1.9 +  Set.thy SetInterval.thy Sum_Type.thy Tools/ATP/AtpCommunication.ML		\
    1.10    Tools/ATP/recon_order_clauses.ML Tools/ATP/recon_parse.ML			\
    1.11    Tools/ATP/recon_prelim.ML Tools/ATP/recon_transfer_proof.ML			\
    1.12    Tools/ATP/recon_translate_proof.ML Tools/ATP/res_clasimpset.ML		\