src/HOL/MicroJava/Comp/CorrCompTp.thy
Sat, 15 Mar 2014 08:31:33 +0100 haftmann more complete set of lemmas wrt. image and composition
less more (0) -30 -10 -1 tip