src/HOL/Map.thy
changeset 24850 0cfd722ab579
parent 24331 76f7a8c6e842
child 25483 65de74f62874