src/HOL/IMP/VCG.thy
Fri, 31 May 2013 07:55:09 +0200 nipkow more VC -> VCG
Fri, 31 May 2013 07:26:31 +0200 nipkow VCG is standard name
less more (0) tip