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 48560 e0875d956a6b
parent 48556 62a3fbf9d35b
child 48618 1f7e068b4613 
--- a/src/HOL/IsaMakefile	Fri Jul 27 17:57:31 2012 +0200
+++ b/src/HOL/IsaMakefile	Fri Jul 27 17:59:18 2012 +0200
@@ -171,7 +171,6 @@
 
 PLAIN_DEPENDENCIES = $(BASE_DEPENDENCIES) \
   $(SRC)/Provers/Arith/cancel_div_mod.ML \
-  $(SRC)/Provers/Arith/cancel_sums.ML \
   $(SRC)/Provers/Arith/fast_lin_arith.ML \
   $(SRC)/Provers/order.ML \
   $(SRC)/Provers/trancl.ML \
isabelle