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 44006 b9839fad3bb6
parent 43988 def89b8c6948
child 44013 5cfc1c36ae97 
--- a/src/HOL/IsaMakefile	Sun Jul 31 11:13:38 2011 -0700
+++ b/src/HOL/IsaMakefile	Mon Aug 01 09:31:10 2011 -0700
@@ -470,6 +470,7 @@
   Library/Polynomial.thy Library/Predicate_Compile_Quickcheck.thy	\
   Library/Preorder.thy Library/Product_Vector.thy			\
   Library/Product_ord.thy Library/Product_plus.thy			\
+  Library/Product_Lattice.thy						\
   Library/Quickcheck_Types.thy						\
   Library/Quotient_List.thy Library/Quotient_Option.thy			\
   Library/Quotient_Product.thy Library/Quotient_Sum.thy			\
isabelle