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 43124 fdb7e1d5f762
parent 43108 eb1e31eb7449
child 43142 2a05c1f7c08c 
--- a/src/HOL/IsaMakefile	Wed Jun 01 08:07:28 2011 +0200
+++ b/src/HOL/IsaMakefile	Wed Jun 01 09:10:13 2011 +0200
@@ -467,7 +467,8 @@
   Library/Quotient_List.thy Library/Quotient_Option.thy			\
   Library/Quotient_Product.thy Library/Quotient_Sum.thy			\
   Library/Quotient_Syntax.thy Library/Quotient_Type.thy			\
-  Library/RBT.thy Library/RBT_Impl.thy Library/README.html		\
+  Library/RBT.thy Library/RBT_Impl.thy Library/RBT_Mapping.thy 		\
+  Library/README.html 							\
   Library/Set_Algebras.thy Library/State_Monad.thy Library/Ramsey.thy	\
   Library/Reflection.thy Library/SML_Quickcheck.thy 			\
   Library/Sublist_Order.thy Library/Sum_of_Squares.thy			\
isabelle