src/HOL/IMPP/Com.thy
2015-08-31 wenzelm 2015-08-31 prefer symbols;
2015-07-18 wenzelm 2015-07-18 prefer tactics with explicit context;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
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
2011-03-30 wenzelm 2011-03-30 modernized specifications;
2011-01-16 wenzelm 2011-01-16 tuned headers;
2008-06-25 wenzelm 2008-06-25 modernized specifications;
2007-07-11 berghofe 2007-07-11 Adapted to new inductive definition package.
2006-06-07 wenzelm 2006-06-07 removed obsolete ML files;
2005-09-17 wenzelm 2005-09-17 converted to Isar theory format;
2001-12-01 wenzelm 2001-12-01 renamed class "term" to "type" (actually "HOL.type");
2000-01-31 oheimb 2000-01-31 added IMPP to HOL