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 44897 787983a08bfb
parent 44860 56101fa00193
child 44913 48240fb48980 
--- a/src/HOL/IsaMakefile	Mon Sep 12 10:27:36 2011 +0200
+++ b/src/HOL/IsaMakefile	Mon Sep 12 10:57:58 2011 +0200
@@ -430,7 +430,8 @@
 $(OUT)/HOL-Library: $(OUT)/HOL Library/ROOT.ML				\
   $(SRC)/HOL/Tools/float_arith.ML $(SRC)/Tools/float.ML			\
   Library/Abstract_Rat.thy $(SRC)/Tools/Adhoc_Overloading.thy		\
-  Library/AssocList.thy Library/BigO.thy Library/Binomial.thy		\
+  Library/AList_Impl.thy Library/AList_Mapping.thy 			\
+  Library/BigO.thy Library/Binomial.thy 				\
   Library/Bit.thy Library/Boolean_Algebra.thy Library/Cardinality.thy	\
   Library/Char_nat.thy Library/Code_Char.thy Library/Code_Char_chr.thy	\
   Library/Code_Char_ord.thy Library/Code_Integer.thy			\
isabelle