Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 22946 9793d28d49ad
parent 22897 c714f6d0a8d7
child 22964 2284e0d02e7f 
--- a/src/HOL/IsaMakefile	Sun May 13 09:23:27 2007 +0200
+++ b/src/HOL/IsaMakefile	Sun May 13 18:15:21 2007 +0200
@@ -62,7 +62,8 @@
 Pure:
 	@cd $(SRC)/Pure; $(ISATOOL) make Pure
 
-$(OUT)/HOL: $(OUT)/Pure $(SRC)/Provers/Arith/abel_cancel.ML			\
+$(OUT)/HOL: $(OUT)/Pure $(SRC)/Pure/General/int.ML $(SRC)/Pure/General/rat.ML   \
+  $(SRC)/Provers/Arith/abel_cancel.ML			                        \
   $(SRC)/Provers/Arith/assoc_fold.ML						\
   $(SRC)/Provers/Arith/cancel_div_mod.ML					\
   $(SRC)/Provers/Arith/cancel_numeral_factor.ML					\
isabelle