src/HOL/MicroJava/Comp/LemmasComp.thy
Thu, 12 Nov 2009 17:21:51 +0100 hoelzl Remove map_compose, replaced by map_map
less more (0) -10 -1 tip