| Tue, 18 Mar 2014 15:53:48 +0100 | hoelzl | cleanup Series: sorted according to typeclass hierarchy, use {..<_} instead of {0..<_} | file | diff | annotate |
| Tue, 03 Sep 2013 01:12:40 +0200 | wenzelm | tuned proofs -- clarified flow of facts wrt. calculation; | file | diff | annotate |
| Tue, 13 Aug 2013 16:25:47 +0200 | wenzelm | standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find; | file | diff | annotate |
| Wed, 17 Jul 2013 13:34:21 +0200 | immler | tuned definition of seqseq; clarified usage of diagseq via diagseq_holds | file | diff | annotate |
| Tue, 05 Mar 2013 15:43:22 +0100 | hoelzl | generalized lemmas in Extended_Real_Limits | file | diff | annotate |
| Fri, 18 Jan 2013 20:00:59 +0100 | hoelzl | tune prove compact_eq_totally_bounded | file | diff | annotate |
| Mon, 14 Jan 2013 18:30:36 +0100 | hoelzl | differentiate (cover) compactness and sequential compactness | file | diff | annotate |