src/HOL/Nominal/Examples/Class3.thy
2015-12-27 wenzelm 2015-12-27 discontinued ASCII replacement syntax <*>;
2014-02-12 blanchet 2014-02-12 adapted to 'xxx_{case,rec}' renaming, to new theorem names, and to new variable names in theorems * * * more transition of 'xxx_rec' to 'rec_xxx' and same for case * * * compile * * * 'rename_tac's to avoid referring to generated names * * * more robust scripts with 'rename_tac' * * * 'where' -> 'of' * * * 'where' -> 'of' * * * renamed 'xxx_rec' to 'rec_xxx'
2014-02-12 blanchet 2014-02-12 adapted theories to '{case,rec}_{list,option}' names
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2012-11-28 wenzelm 2012-11-28 eliminated slightly odd identifiers;
2010-09-08 haftmann 2010-09-08 modernized primrec
2010-04-22 wenzelm 2010-04-22 split Class.thy into parts to conserve a bit of memory and increase the chance of making it work on Cygwin with only 2 GB available;