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 |