src/HOL/IMP/Poly_Types.thy
2014-09-11 blanchet 2014-09-11 updated news
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
2013-05-17 nipkow 2013-05-17 replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
2011-10-20 nipkow 2011-10-20 renamed name -> vname
2011-10-19 nipkow 2011-10-19 renamed B to Bc
2011-09-20 nipkow 2011-09-20 Updated IMP to use new induction method
2011-06-02 nipkow 2011-06-02 Added typed IMP