src/HOL/Map.thy
1997-10-24 nipkow 1997-10-24 Added the new theory Map.