src/HOL/IMP/Def_Ass_Sound_Small.thy
Mon, 06 Jun 2011 16:29:38 +0200 kleing imported rest of new IMP
less more (0) tip