src/HOL/Library/Liminf_Limsup.thy
Tue, 05 Mar 2013 15:43:08 +0100 hoelzl move Liminf / Limsup lemmas on complete_lattices to its own file
less more (0) tip