src/HOL/IMP/Small_Step.thy
Sat, 28 Apr 2012 07:38:22 +0200 nipkow renamed Semi to Seq
Wed, 09 Nov 2011 14:47:38 +1100 kleing more fragments to export, removed the one from Com
Tue, 25 Oct 2011 15:59:15 +0200 nipkow tuned names to avoid shadowing
Thu, 20 Oct 2011 12:30:43 -0400 kleing removed [trans] concept from basic material
Thu, 29 Sep 2011 21:42:03 +0200 Jean Pichon fixed typos in IMP
Tue, 20 Sep 2011 05:48:23 +0200 nipkow Updated IMP to use new induction method
Thu, 04 Aug 2011 16:49:57 +0200 kleing new state syntax with less conflicts
Mon, 06 Jun 2011 16:29:38 +0200 kleing imported rest of new IMP
Wed, 01 Jun 2011 21:35:34 +0200 nipkow Replacing old IMP with new Semantics material
less more (0) tip