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 29985 57975b45ab70
parent 29888 ab97183f1694
child 29986 6b1ccda8bf19 
--- a/src/HOL/IsaMakefile	Wed Feb 18 17:02:38 2009 -0800
+++ b/src/HOL/IsaMakefile	Wed Feb 18 19:32:26 2009 -0800
@@ -336,6 +336,7 @@
   Library/Boolean_Algebra.thy Library/Countable.thy	\
   Library/RBT.thy	Library/Univ_Poly.thy	\
   Library/Random.thy	Library/Quickcheck.thy	\
+  Library/Poly_Deriv.thy \
   Library/Enum.thy Library/Float.thy $(SRC)/Tools/float.ML $(SRC)/HOL/Tools/float_arith.ML \
   Library/reify_data.ML Library/reflection.ML
 	@cd Library; $(ISABELLE_TOOL) usedir $(OUT)/HOL Library
isabelle