src/HOL/IMP/Abs_Int_Tests.thy
2014-09-21 haftmann 2014-09-21 explicit separation of signed and unsigned numerals using existing lexical categories num and xnum
2013-05-22 nipkow 2013-05-22 tuned
2013-05-17 nipkow 2013-05-17 replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
2013-05-08 nipkow 2013-05-08 tuned
2012-09-03 nipkow 2012-09-03 added annotations after condition in if and while
2012-02-05 nipkow 2012-02-05 tuned
2011-11-24 nipkow 2011-11-24 Abstract interpretation is now based uniformly on annotated programs, including a collecting and a small step semantics