correcting dependencies after renaming
authorbulwahn
Wed Dec 14 16:30:32 2011 +0100 (2011-12-14)
changeset 4587337ffb8797a63
parent 45872 3759fb8a02b8
child 45874 ab10ce781e34
correcting dependencies after renaming
src/HOL/IsaMakefile
src/HOL/Library/AList_Mapping.thy
     1.1 --- a/src/HOL/IsaMakefile	Wed Dec 14 16:30:30 2011 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Dec 14 16:30:32 2011 +0100
     1.3 @@ -435,7 +435,7 @@
     1.4  $(OUT)/HOL-Library: $(OUT)/HOL Library/ROOT.ML				\
     1.5    $(SRC)/HOL/Tools/float_arith.ML $(SRC)/Tools/float.ML			\
     1.6    Library/Abstract_Rat.thy $(SRC)/Tools/Adhoc_Overloading.thy		\
     1.7 -  Library/AList.thy Library/AList_Mapping.thy 				\
     1.8 +  Library/AList_Impl.thy Library/AList_Mapping.thy 			\
     1.9    Library/BigO.thy Library/Binomial.thy 				\
    1.10    Library/Bit.thy Library/Boolean_Algebra.thy Library/Cardinality.thy	\
    1.11    Library/Char_nat.thy Library/Code_Char.thy Library/Code_Char_chr.thy	\
     2.1 --- a/src/HOL/Library/AList_Mapping.thy	Wed Dec 14 16:30:30 2011 +0100
     2.2 +++ b/src/HOL/Library/AList_Mapping.thy	Wed Dec 14 16:30:32 2011 +0100
     2.3 @@ -5,7 +5,7 @@
     2.4  header {* Implementation of mappings with Association Lists *}
     2.5  
     2.6  theory AList_Mapping
     2.7 -imports AList Mapping
     2.8 +imports AList_Impl Mapping
     2.9  begin
    2.10  
    2.11  definition Mapping :: "('a \<times> 'b) list \<Rightarrow> ('a, 'b) mapping" where