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 29463 6660f9019673
parent 29399 ebcd69a00872
child 29505 c6d2d23909d1 
--- a/src/HOL/IsaMakefile	Mon Jan 12 22:16:35 2009 -0800
+++ b/src/HOL/IsaMakefile	Mon Jan 12 22:18:51 2009 -0800
@@ -282,6 +282,7 @@
   Parity.thy \
   Univ_Poly.thy \
   Lubs.thy \
+  Polynomial.thy \
   PReal.thy \
   Rational.thy \
   RComplete.thy \
isabelle