src/HOL/Library/Order_Continuity.thy
2015-06-30 hoelzl 2015-06-30 generalized inf and sup_continuous; added intro rules
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-06-11 hoelzl 2015-06-11 add transfer theorems for fixed points
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-02 wenzelm 2014-11-02 modernized header;
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