src/HOL/IMP/Fold.thy
Thu, 23 Aug 2012 15:32:22 +0200 Gerwin Klein remove Hoare dependency from Fold.thy
Sat, 28 Apr 2012 07:38:22 +0200 nipkow renamed Semi to Seq
Thu, 20 Oct 2011 09:48:00 +0200 nipkow renamed name -> vname
Wed, 19 Oct 2011 16:32:12 +0200 nipkow renamed B to Bc
Thu, 13 Oct 2011 11:45:33 +0200 wenzelm discontinued obsolete 'types' command;
Tue, 20 Sep 2011 05:48:23 +0200 nipkow Updated IMP to use new induction method
Mon, 12 Sep 2011 07:55:43 +0200 nipkow new fastforce replacing fastsimp - less confusing name
Fri, 09 Sep 2011 06:45:39 +0200 nipkow tuned headers
Mon, 08 Aug 2011 16:47:55 +0200 kleing import constant folding theory into IMP
less more (0) tip