Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merged res_atp_setup.ML into res_atp.ML.
authormengj
Tue, 07 Mar 2006 03:48:02 +0100
changeset 19192 ee5fde055c9a
parent 19191 56cda3ec2ef8
child 19193 45c8db82893d
Merged res_atp_setup.ML into res_atp.ML.
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Sun Mar 05 23:56:57 2006 +0100
+++ b/src/HOL/IsaMakefile	Tue Mar 07 03:48:02 2006 +0100
@@ -117,7 +117,7 @@
   Typedef.thy Wellfounded_Recursion.thy Wellfounded_Relations.thy		\
   antisym_setup.ML arith_data.ML blastdata.ML cladata.ML			\
   document/root.tex hologic.ML simpdata.ML ResAtpMethods.thy 			\
-  Tools/res_atp_setup.ML Tools/res_atp_provers.ML Tools/res_atp_methods.ML	\
+  Tools/res_atp_provers.ML Tools/res_atp_methods.ML	\
   Tools/res_hol_clause.ML
 	@$(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -g true $(OUT)/Pure HOL
isabelle