| Tue, 13 Oct 2015 09:21:15 +0200 | haftmann | prod_case as canonical name for product type eliminator | file | diff | annotate |
| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| Mon, 06 Jul 2015 22:57:34 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Wed, 17 Jun 2015 17:54:09 +0200 | wenzelm | manual merge; | file | diff | annotate |
| Wed, 17 Jun 2015 11:03:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Wed, 17 Jun 2015 17:21:11 +0200 | nipkow | renamed Multiset.set_of to the canonical set_mset | file | diff | annotate |
| Wed, 10 Jun 2015 13:24:16 +0200 | Mathias Fleury | Renaming multiset operators < ~> <#,... | file | diff | annotate |
| Wed, 08 Apr 2015 15:21:20 +0200 | blanchet | renamed multiset ordering to free up nice <# etc. symbols for the standard subset | file | diff | annotate |
| Thu, 26 Mar 2015 12:00:32 +0100 | haftmann | restored broken metis proof | file | diff | annotate |
| Wed, 25 Mar 2015 17:51:34 +0100 | blanchet | more multiset theorems | file | diff | annotate |