| Tue, 10 Sep 2019 14:40:00 +0100 | paulson | tidied up some massive ugliness | file | diff | annotate |
| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Sat, 17 Dec 2016 15:22:13 +0100 | haftmann | standardized notation | file | diff | annotate |
| Wed, 10 Aug 2016 14:50:59 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Fri, 17 Jun 2016 12:37:43 +0200 | fleury | normalising multiset theorem names | file | diff | annotate |
| Wed, 18 Nov 2015 15:23:34 +0000 | paulson | New theorems mostly from Peter Gammie | file | diff | annotate |
| Thu, 05 Nov 2015 10:39:49 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Fri, 19 Jun 2015 15:55:22 +0200 | nipkow | renamed multiset_of -> mset | 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 |
| Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Thu, 07 Aug 2014 12:17:41 +0200 | blanchet | no need for 'set_simps' now that 'datatype_new' generates the desired 'set' property | file | diff | annotate |
| Tue, 29 Apr 2014 22:50:55 +0200 | wenzelm | tuned proofs; | file | diff | annotate |