| Mon, 06 Jul 2015 22:57:34 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Wed, 17 Jun 2015 11:03:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Wed, 25 Dec 2013 17:39:06 +0100 | haftmann | prefer more canonical names for lemmas on min/max | 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 |
| Thu, 25 Jul 2013 08:57:16 +0200 | haftmann | factored syntactic type classes for bot and top (by Alessandro Coglio) | file | diff | annotate |
| Thu, 14 Feb 2013 14:14:55 +0100 | haftmann | consolidation of library theories on product orders | file | diff | annotate | base |