src/HOL/IsaMakefile
changeset 29859 33bff35f1335
parent 29847 af32126ee729
child 29879 4425849f5db7
     1.1 --- a/src/HOL/IsaMakefile	Tue Feb 10 17:53:51 2009 -0800
     1.2 +++ b/src/HOL/IsaMakefile	Wed Feb 11 10:51:07 2009 +0100
     1.3 @@ -285,7 +285,6 @@
     1.4    Taylor.thy \
     1.5    Transcendental.thy \
     1.6    GCD.thy \
     1.7 -  Order_Relation.thy \
     1.8    Parity.thy \
     1.9    Lubs.thy \
    1.10    Polynomial.thy \
    1.11 @@ -322,7 +321,7 @@
    1.12    Library/Multiset.thy Library/Permutation.thy	\
    1.13    Library/Primes.thy Library/Pocklington.thy Library/Quotient.thy	\
    1.14    Library/Quicksort.thy Library/Nat_Infinity.thy Library/Word.thy	\
    1.15 -  Library/README.html Library/Continuity.thy				\
    1.16 +  Library/README.html Library/Continuity.thy Library/Order_Relation.thy \
    1.17    Library/Nested_Environment.thy Library/Ramsey.thy Library/Zorn.thy	\
    1.18    Library/Library/ROOT.ML Library/Library/document/root.tex		\
    1.19    Library/Library/document/root.bib Library/While_Combinator.thy	\