Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 45990 b7b905b23b2a
parent 45985 2d399a776de2
child 46143 c932c80d3eae 
--- a/src/HOL/IsaMakefile	Mon Dec 26 22:17:10 2011 +0100
+++ b/src/HOL/IsaMakefile	Mon Dec 26 22:17:10 2011 +0100
@@ -286,6 +286,8 @@
   List.thy \
   Main.thy \
   Map.thy \
+  More_List.thy \
+  More_Set.thy \
   Nat_Numeral.thy \
   Nat_Transfer.thy \
   New_DSequence.thy \
@@ -458,7 +460,7 @@
   Library/LaTeXsugar.thy Library/Lattice_Algebras.thy			\
   Library/Lattice_Syntax.thy Library/Library.thy Library/List_Cset.thy	\
   Library/List_Prefix.thy Library/List_lexord.thy Library/Mapping.thy	\
-  Library/Monad_Syntax.thy Library/More_List.thy Library/More_Set.thy	\
+  Library/Monad_Syntax.thy						\
   Library/Multiset.thy Library/Nat_Bijection.thy			\
   Library/Numeral_Type.thy Library/Old_Recdef.thy			\
   Library/OptionalSugar.thy Library/Order_Relation.thy			\
isabelle