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 37968 52fdcb76c0af
parent 37921 1e846be00ddf
child 38019 e207a64e1e0b 
--- a/src/HOL/IsaMakefile	Mon Jul 26 11:09:45 2010 +0200
+++ b/src/HOL/IsaMakefile	Mon Jul 26 11:10:35 2010 +0200
@@ -398,20 +398,19 @@
 $(OUT)/HOL-Library: $(OUT)/HOL Library/HOL_Library_ROOT.ML		\
   $(SRC)/HOL/Tools/float_arith.ML $(SRC)/Tools/float.ML			\
   Library/Abstract_Rat.thy $(SRC)/Tools/Adhoc_Overloading.thy		\
-  Library/AssocList.thy							\
-  Library/BigO.thy Library/Binomial.thy Library/Bit.thy			\
-  Library/Boolean_Algebra.thy Library/Cardinality.thy			\
+  Library/AssocList.thy	Library/BigO.thy Library/Binomial.thy		\
+  Library/Bit.thy Library/Boolean_Algebra.thy Library/Cardinality.thy	\
   Library/Char_nat.thy Library/Code_Char.thy Library/Code_Char_chr.thy	\
-  Library/Code_Integer.thy Library/ContNotDenum.thy			\
-  Library/Continuity.thy Library/Convex.thy Library/Countable.thy	\
-  Library/Diagonalize.thy Library/Dlist.thy Library/Efficient_Nat.thy	\
-  Library/Enum.thy Library/Eval_Witness.thy Library/Executable_Set.thy	\
-  Library/Float.thy Library/Formal_Power_Series.thy			\
-  Library/Fraction_Field.thy Library/FrechetDeriv.thy Library/Fset.thy	\
-  Library/FuncSet.thy Library/Fundamental_Theorem_Algebra.thy		\
-  Library/Glbs.thy Library/Indicator_Function.thy			\
-  Library/Infinite_Set.thy Library/Inner_Product.thy			\
-  Library/Kleene_Algebra.thy						\
+  Library/Code_Integer.thy Library/Code_Natural.thy			\
+  Library/ContNotDenum.thy Library/Continuity.thy Library/Convex.thy	\
+  Library/Countable.thy	Library/Diagonalize.thy Library/Dlist.thy	\
+  Library/Efficient_Nat.thy Library/Enum.thy Library/Eval_Witness.thy	\
+  Library/Executable_Set.thy Library/Float.thy				\
+  Library/Formal_Power_Series.thy Library/Fraction_Field.thy		\
+  Library/FrechetDeriv.thy Library/Fset.thy Library/FuncSet.thy		\
+  Library/Fundamental_Theorem_Algebra.thy Library/Glbs.thy		\
+  Library/Indicator_Function.thy Library/Infinite_Set.thy		\
+  Library/Inner_Product.thy Library/Kleene_Algebra.thy			\
   Library/LaTeXsugar.thy Library/Lattice_Algebras.thy			\
   Library/Lattice_Syntax.thy Library/Library.thy			\
   Library/List_Prefix.thy Library/List_lexord.thy Library/Mapping.thy	\
isabelle