src/HOL/IsaMakefile
changeset 37790 7fea92005066
parent 37789 93f6dcf9ec02
child 37818 dd65033fed78
     1.1 --- a/src/HOL/IsaMakefile	Tue Jul 13 00:15:37 2010 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Jul 13 00:15:37 2010 +0200
     1.3 @@ -414,8 +414,8 @@
     1.4    Library/LaTeXsugar.thy Library/Lattice_Algebras.thy			\
     1.5    Library/Lattice_Syntax.thy Library/Library.thy			\
     1.6    Library/List_Prefix.thy Library/List_lexord.thy Library/Mapping.thy	\
     1.7 -  Library/More_List.thy Library/More_Set.thy Library/Multiset.thy	\
     1.8 -  Library/Nat_Bijection.thy Library/Nat_Infinity.thy			\
     1.9 +  Library/Monad_Syntax.thy Library/More_List.thy Library/More_Set.thy	\
    1.10 +  Library/Multiset.thy Library/Nat_Bijection.thy Library/Nat_Infinity.thy	\
    1.11    Library/Nested_Environment.thy Library/Numeral_Type.thy		\
    1.12    Library/OptionalSugar.thy Library/Order_Relation.thy			\
    1.13    Library/Permutation.thy Library/Permutations.thy			\