src/HOL/MicroJava/Comp/LemmasComp.thy
Mon, 14 Jan 2019 18:35:03 +0000 haftmann tuned proofs
less more (0) -30 -10 -1 tip