src/HOL/IsaMakefile
changeset 45990 b7b905b23b2a
parent 45985 2d399a776de2
child 46143 c932c80d3eae
     1.1 --- a/src/HOL/IsaMakefile	Mon Dec 26 22:17:10 2011 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Dec 26 22:17:10 2011 +0100
     1.3 @@ -286,6 +286,8 @@
     1.4    List.thy \
     1.5    Main.thy \
     1.6    Map.thy \
     1.7 +  More_List.thy \
     1.8 +  More_Set.thy \
     1.9    Nat_Numeral.thy \
    1.10    Nat_Transfer.thy \
    1.11    New_DSequence.thy \
    1.12 @@ -458,7 +460,7 @@
    1.13    Library/LaTeXsugar.thy Library/Lattice_Algebras.thy			\
    1.14    Library/Lattice_Syntax.thy Library/Library.thy Library/List_Cset.thy	\
    1.15    Library/List_Prefix.thy Library/List_lexord.thy Library/Mapping.thy	\
    1.16 -  Library/Monad_Syntax.thy Library/More_List.thy Library/More_Set.thy	\
    1.17 +  Library/Monad_Syntax.thy						\
    1.18    Library/Multiset.thy Library/Nat_Bijection.thy			\
    1.19    Library/Numeral_Type.thy Library/Old_Recdef.thy			\
    1.20    Library/OptionalSugar.thy Library/Order_Relation.thy			\