Tue, 05 Nov 2013 09:45:00 +0100 | hoelzl | restrict Limsup and Liminf to complete lattices | file | diff | annotate |
Tue, 05 Nov 2013 09:44:57 +0100 | hoelzl | generalize SUP and INF to the syntactic type classes Sup and Inf | file | diff | annotate |
Tue, 03 Sep 2013 22:04:23 +0200 | wenzelm | tuned proofs -- less guessing; | file | diff | annotate |
Tue, 03 Sep 2013 01:12:40 +0200 | wenzelm | tuned proofs -- clarified flow of facts wrt. calculation; | file | diff | annotate |
Tue, 27 Aug 2013 16:06:27 +0200 | hoelzl | renamed inner_dense_linorder to dense_linorder | file | diff | annotate |
Tue, 26 Mar 2013 20:02:02 +0100 | wenzelm | tuned imports; | file | diff | annotate |
Tue, 05 Mar 2013 15:43:08 +0100 | hoelzl | move Liminf / Limsup lemmas on complete_lattices to its own file | file | diff | annotate |