src/HOL/NanoJava/Decl.thy
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-08-21 krauss 2011-08-21 modernized specifications
2011-04-23 wenzelm 2011-04-23 modernized specifications;
2010-03-03 wenzelm 2010-03-03 cleanup type translations;
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2006-01-03 haftmann 2006-01-03 class now an keyword, quoted where necessary
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-07-25 nipkow 2003-07-25 Replaced \<leadsto> by \<rightharpoonup>
2001-11-22 wenzelm 2001-11-22 renamed "fields" to "flds" (avoid clash with new "fields" operation);
2001-09-21 oheimb 2001-09-21 Minor improvements, added Example
2001-09-10 oheimb 2001-09-10 simplified vnam/vname, introduced fname, improved comments
2001-08-08 oheimb 2001-08-08 layout, subscripts
2001-06-16 oheimb 2001-06-16 added NanoJava