src/HOL/IsaMakefile
changeset 29026 5fbaa05f637f
parent 28952 15a4b2cf8c34
child 29105 8f38bf68d42e
child 29106 25e28a4070f3
     1.1 --- a/src/HOL/IsaMakefile	Thu Dec 04 14:17:36 2008 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Dec 10 10:23:47 2008 +0100
     1.3 @@ -274,7 +274,6 @@
     1.4    Order_Relation.thy \
     1.5    Parity.thy \
     1.6    Univ_Poly.thy \
     1.7 -  ContNotDenum.thy \
     1.8    Lubs.thy \
     1.9    PReal.thy \
    1.10    Rational.thy \
    1.11 @@ -299,7 +298,7 @@
    1.12  
    1.13  $(LOG)/HOL-Library.gz: $(OUT)/HOL Library/SetsAndFunctions.thy		\
    1.14    Library/Abstract_Rat.thy \
    1.15 -  Library/BigO.thy Library/Ramsey.thy Library/Efficient_Nat.thy		\
    1.16 +  Library/BigO.thy Library/ContNotDenum.thy Library/Efficient_Nat.thy	\
    1.17    Library/Executable_Set.thy Library/Infinite_Set.thy			\
    1.18    Library/FuncSet.thy			\
    1.19    Library/Library.thy Library/List_Prefix.thy Library/State_Monad.thy	\
    1.20 @@ -307,7 +306,7 @@
    1.21    Library/Primes.thy Library/Pocklington.thy Library/Quotient.thy	\
    1.22    Library/Quicksort.thy Library/Nat_Infinity.thy Library/Word.thy	\
    1.23    Library/README.html Library/Continuity.thy				\
    1.24 -  Library/Nested_Environment.thy Library/Zorn.thy			\
    1.25 +  Library/Nested_Environment.thy Library/Ramsey.thy Library/Zorn.thy	\
    1.26    Library/Library/ROOT.ML Library/Library/document/root.tex		\
    1.27    Library/Library/document/root.bib Library/While_Combinator.thy	\
    1.28    Library/Product_ord.thy Library/Char_nat.thy Library/Char_ord.thy	\