Removed dir Orderings in Library
authornipkow
Thu Apr 14 17:57:04 2005 +0200 (2005-04-14)
changeset 1573129ae73d8a84e
parent 15730 6480cd74feb3
child 15732 faa48c5b1402
Removed dir Orderings in Library
src/HOL/IsaMakefile
src/HOL/Library/Library.thy
     1.1 --- a/src/HOL/IsaMakefile	Thu Apr 14 09:19:55 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Apr 14 17:57:04 2005 +0200
     1.3 @@ -188,7 +188,9 @@
     1.4    Library/README.html Library/Continuity.thy \
     1.5    Library/Nested_Environment.thy Library/Zorn.thy\
     1.6    Library/Library/ROOT.ML Library/Library/document/root.tex \
     1.7 -  Library/Library/document/root.bib Library/While_Combinator.thy
     1.8 +  Library/Library/document/root.bib Library/While_Combinator.thy \
     1.9 +  Library/Product_ord.thy Library/Char_ord.thy \
    1.10 +  Library/List_lexord.thy
    1.11  	@cd Library; $(ISATOOL) usedir $(OUT)/HOL Library
    1.12  
    1.13  
     2.1 --- a/src/HOL/Library/Library.thy	Thu Apr 14 09:19:55 2005 +0200
     2.2 +++ b/src/HOL/Library/Library.thy	Thu Apr 14 17:57:04 2005 +0200
     2.3 @@ -5,7 +5,6 @@
     2.4    Continuity
     2.5    EfficientNat
     2.6    FuncSet
     2.7 -  List_Prefix
     2.8    Multiset
     2.9    NatPair
    2.10    Nat_Infinity
    2.11 @@ -17,6 +16,9 @@
    2.12    While_Combinator
    2.13    Word
    2.14    Zorn
    2.15 +  List_Prefix
    2.16 +  Char_ord
    2.17 +  List_lexord
    2.18  begin
    2.19  end
    2.20  (*>*)