src/HOL/Library/Liminf_Limsup.thy
2013-09-03 wenzelm 2013-09-03 tuned proofs -- less guessing;
2013-09-03 wenzelm 2013-09-03 tuned proofs -- clarified flow of facts wrt. calculation;
2013-08-27 hoelzl 2013-08-27 renamed inner_dense_linorder to dense_linorder
2013-03-26 wenzelm 2013-03-26 tuned imports;
2013-03-05 hoelzl 2013-03-05 move Liminf / Limsup lemmas on complete_lattices to its own file