src/HOL/IMP/Abs_Int_Tests.thy
Tue, 21 Aug 2018 17:29:46 +0200 nipkow improved sectioning
Fri, 12 Jan 2018 14:08:53 +0100 wenzelm isabelle update_cartouches -c;
Sun, 21 Sep 2014 16:56:11 +0200 haftmann explicit separation of signed and unsigned numerals using existing lexical categories num and xnum
Wed, 22 May 2013 00:30:36 +0200 nipkow tuned
Fri, 17 May 2013 08:19:52 +0200 nipkow replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
Wed, 08 May 2013 12:06:04 +0200 nipkow tuned
Mon, 03 Sep 2012 15:41:06 +0200 nipkow added annotations after condition in if and while
Sun, 05 Feb 2012 17:09:21 +0100 nipkow tuned
Thu, 24 Nov 2011 19:58:37 +0100 nipkow Abstract interpretation is now based uniformly on annotated programs,
less more (0) tip