src/HOL/IMP/Sem_Equiv.thy
Fri, 12 Jan 2018 14:08:53 +0100 wenzelm isabelle update_cartouches -c;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Thu, 20 Feb 2014 12:27:51 +1100 kleing move stronger rules into exercise
Mon, 11 Nov 2013 10:23:01 +0100 nipkow tuned
Mon, 11 Nov 2013 10:10:28 +0100 nipkow tuned
Thu, 23 May 2013 13:51:21 +1000 kleing prefer object equality
Fri, 17 May 2013 08:19:52 +0200 nipkow replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
Thu, 16 May 2013 13:49:18 +1000 kleing explicitly state equivalence relation for sim; tweak syntax of sem_equiv
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 12:30:43 -0400 kleing removed [trans] concept from basic material
Wed, 19 Oct 2011 16:32:12 +0200 nipkow renamed B to Bc
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
Wed, 17 Aug 2011 15:03:30 -0700 huffman HOL-IMP: respect set/pred distinction
Mon, 08 Aug 2011 16:47:55 +0200 kleing import constant folding theory into IMP
less more (0) tip