src/HOL/IMP/Denotational.thy
Wed, 19 Jun 2013 10:07:36 +0200 nipkow more canonical name
less more (0) tip