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 29813 3ccd86c214bf
parent 29809 df25a6b1a475
child 29823 0ab754d13ccd 
--- a/src/HOL/IsaMakefile	Fri Feb 06 00:10:58 2009 +0000
+++ b/src/HOL/IsaMakefile	Fri Feb 06 00:13:15 2009 +0000
@@ -284,7 +284,6 @@
   Series.thy \
   Taylor.thy \
   Transcendental.thy \
-  Dense_Linear_Order.thy \
   GCD.thy \
   Order_Relation.thy \
   Parity.thy \
@@ -316,7 +315,7 @@
   Library/Abstract_Rat.thy \
   Library/BigO.thy Library/ContNotDenum.thy Library/Efficient_Nat.thy	\
   Library/Executable_Set.thy Library/Infinite_Set.thy			\
-  Library/FuncSet.thy			\
+  Library/FuncSet.thy Library/Dense_Linear_Order.thy 	\
   Library/Library.thy Library/List_Prefix.thy Library/State_Monad.thy	\
   Library/Multiset.thy Library/Permutation.thy	\
   Library/Primes.thy Library/Pocklington.thy Library/Quotient.thy	\
isabelle