src/HOL/Library/Finite_Map.thy
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-10-13 Lars Hupel 2016-10-13 renamed lemma to a more consistent name
2016-10-13 Lars Hupel 2016-10-13 tuned
2016-10-13 Lars Hupel 2016-10-13 remove accidentally oops'ed (and wrong) lemma
2016-09-16 Lars Hupel 2016-09-16 tuned proofs
2016-09-15 Lars Hupel 2016-09-15 new type for finite maps; use it in HOL-Probability