# HG changeset patch
# User mengj
# Date 1130459453 -7200
# Node ID a444181a45ceb9765b9fef4817dc49c7ded526e0
# Parent  1883971957de79669e84f19b98f12e1277f797f3
Added Tools/res_hol_clause.ML

diff -r 1883971957de -r a444181a45ce src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Oct 28 02:30:12 2005 +0200
+++ b/src/HOL/IsaMakefile	Fri Oct 28 02:30:53 2005 +0200
@@ -115,7 +115,7 @@
   antisym_setup.ML arith_data.ML blastdata.ML cladata.ML			\
   document/root.tex eqrule_HOL_data.ML hologic.ML simpdata.ML			\
   ResAtpMethods.thy \
-  Tools/res_atp_setup.ML Tools/res_atp_provers.ML Tools/res_atp_methods.ML 	
+  Tools/res_atp_setup.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