src/HOL/Library/Order_Continuity.thy
Thu, 11 Jun 2015 18:24:44 +0200 hoelzl add transfer theorems for fixed points
Mon, 04 May 2015 17:35:31 +0200 hoelzl rename continuous and down_continuous in Order_Continuity to sup_/inf_continuous; relate them with topological continuity
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Mon, 10 Mar 2014 20:04:40 +0100 hoelzl 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
less more (0) tip