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 45873 37ffb8797a63
parent 45860 93eda35a8377
child 45877 b18f62e40429 
--- a/src/HOL/IsaMakefile	Wed Dec 14 16:30:30 2011 +0100
+++ b/src/HOL/IsaMakefile	Wed Dec 14 16:30:32 2011 +0100
@@ -435,7 +435,7 @@
 $(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/AList.thy Library/AList_Mapping.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	\
isabelle