src/HOL/IMP/Fold.thy
Fri, 15 Jun 2018 13:02:12 +0200 nipkow empty -> Map.empty
Thu, 15 Feb 2018 12:11:00 +0100 wenzelm more symbols;
Wed, 19 Feb 2014 22:02:23 +1100 kleing moved advanced folding into separate exercise
Mon, 11 Nov 2013 10:23:01 +0100 nipkow tuned
Thu, 01 Aug 2013 16:52:28 +0200 kleing removed duplicate lemma
Mon, 20 May 2013 03:41:58 +0200 nipkow defined lvars and rvars of commands separately.
Fri, 17 May 2013 08:19:52 +0200 nipkow replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
Thu, 28 Mar 2013 16:11:48 +0100 kleing replace induction by hammer
Mon, 25 Mar 2013 15:18:44 +0100 kleing simp_const -> afold; bfold -> fold'; bsimp_const -> bfold
Mon, 25 Mar 2013 13:50:50 +0100 kleing removed obsolete uses of ext
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