Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add Polynomial.thy to makefile
authorhuffman
Mon, 12 Jan 2009 22:18:51 -0800
changeset 29463 6660f9019673
parent 29462 dc97c6188a7a
child 29464 c0d225a7f6ff
add Polynomial.thy to makefile
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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