| Wed, 17 Feb 2016 21:51:56 +0100 | haftmann | prefer abbreviations for compound operators INFIMUM and SUPREMUM | file | diff | annotate |
| 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 |
| Tue, 29 Apr 2014 22:50:55 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Sat, 26 Apr 2014 13:25:45 +0200 | haftmann | tuned | 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 |
| Sat, 23 Mar 2013 20:50:39 +0100 | haftmann | fundamental revision of big operators on sets | file | diff | annotate |
| Thu, 14 Feb 2013 14:14:55 +0100 | haftmann | consolidation of library theories on product orders | file | diff | annotate |
| Sat, 29 Dec 2012 17:18:01 +0100 | nipkow | new theory Library/Finite_Lattice | file | diff | annotate |