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 35763 765f8adf10f9
parent 35733 b57070d54cd5
child 35825 a6aad5a70ed4 
--- a/src/HOL/IsaMakefile	Sat Mar 13 16:44:12 2010 +0100
+++ b/src/HOL/IsaMakefile	Sat Mar 13 17:19:12 2010 +0100
@@ -394,30 +394,28 @@
   Library/Inner_Product.thy Library/Kleene_Algebra.thy			\
   Library/Lattice_Algebras.thy Library/Lattice_Syntax.thy		\
   Library/Library.thy Library/List_Prefix.thy Library/List_Set.thy	\
-  Library/State_Monad.thy Library/Multiset.thy				\
-  Library/Permutation.thy Library/Quotient_Type.thy			\
-  Library/Quicksort.thy Library/Nat_Infinity.thy Library/Word.thy	\
-  Library/README.html Library/Continuity.thy				\
-  Library/Order_Relation.thy Library/Nested_Environment.thy		\
-  Library/Ramsey.thy Library/Zorn.thy Library/Library/ROOT.ML		\
-  Library/Library/document/root.tex Library/Library/document/root.bib	\
+  Library/State_Monad.thy Library/Multiset.thy Library/Permutation.thy	\
+  Library/Quotient_Type.thy Library/Quicksort.thy			\
+  Library/Nat_Infinity.thy Library/Word.thy Library/README.html		\
+  Library/Continuity.thy Library/Order_Relation.thy			\
+  Library/Nested_Environment.thy Library/Ramsey.thy Library/Zorn.thy	\
+  Library/Library/ROOT.ML Library/Library/document/root.tex		\
+  Library/Library/document/root.bib					\
   Library/Transitive_Closure_Table.thy Library/While_Combinator.thy	\
   Library/Product_ord.thy Library/Char_nat.thy Library/Table.thy	\
   Library/Sublist_Order.thy Library/List_lexord.thy			\
-  Library/Coinductive_List.thy Library/AssocList.thy			\
-  Library/Formal_Power_Series.thy Library/Binomial.thy			\
-  Library/Eval_Witness.thy Library/Code_Char.thy			\
+  Library/AssocList.thy Library/Formal_Power_Series.thy			\
+  Library/Binomial.thy Library/Eval_Witness.thy Library/Code_Char.thy	\
   Library/Code_Char_chr.thy Library/Code_Integer.thy			\
   Library/Mapping.thy Library/Numeral_Type.thy Library/Reflection.thy	\
   Library/Boolean_Algebra.thy Library/Countable.thy			\
   Library/Diagonalize.thy Library/RBT.thy Library/Univ_Poly.thy		\
   Library/Poly_Deriv.thy Library/Polynomial.thy Library/Preorder.thy	\
   Library/Product_plus.thy Library/Product_Vector.thy Library/Tree.thy	\
-  Library/Enum.thy Library/Float.thy Library/Quotient_List.thy          \
-  Library/Quotient_Option.thy Library/Quotient_Product.thy              \
-  Library/Quotient_Sum.thy Library/Quotient_Syntax.thy                  \
-  Library/Nat_Bijection.thy						\
-  $(SRC)/Tools/float.ML                                                 \
+  Library/Enum.thy Library/Float.thy Library/Quotient_List.thy		\
+  Library/Quotient_Option.thy Library/Quotient_Product.thy		\
+  Library/Quotient_Sum.thy Library/Quotient_Syntax.thy			\
+  Library/Nat_Bijection.thy $(SRC)/Tools/float.ML			\
   $(SRC)/HOL/Tools/float_arith.ML Library/positivstellensatz.ML		\
   Library/reify_data.ML Library/reflection.ML Library/LaTeXsugar.thy	\
   Library/OptionalSugar.thy Library/SML_Quickcheck.thy
isabelle