src/HOL/HOLCF/FOCUS/Buffer_adm.thy
2016-01-13 wenzelm 2016-01-13 isabelle update_cartouches -c -t;
2015-05-04 hoelzl 2015-05-04 rename continuous and down_continuous in Order_Continuity to sup_/inf_continuous; relate them with topological continuity
2014-11-10 wenzelm 2014-11-10 proper context for assume_tac (atac remains as fall-back without context);
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2014-03-10 hoelzl 2014-03-10 introduced antimono; incseq, decseq are now abbreviations for mono and antimono; renamed Library/Continuity to Library/Order_Continuity; removed up_cont; renamed down_cont to down_continuity and generalized to complete_lattices
2012-09-21 wenzelm 2012-09-21 misc tuning;
2011-11-27 wenzelm 2011-11-27 tuned proof;
2011-07-19 hoelzl 2011-07-19 rename Fin to enat
2011-03-29 wenzelm 2011-03-29 tuned headers;
2010-11-27 huffman 2010-11-27 moved directory src/HOLCF to src/HOL/HOLCF; added HOLCF theories to src/HOL/IsaMakefile;