| Thu, 07 Jul 2016 17:34:39 +0200 | fleury | more instantiations for multiset | changeset | files |
| Thu, 07 Jul 2016 09:24:03 +0200 | blanchet | moved lemmas and locales around (with minor incompatibilities) | changeset | files |
| Thu, 07 Jul 2016 00:43:27 +0200 | blanchet | updated example | changeset | files |
| Wed, 06 Jul 2016 23:19:28 +0200 | blanchet | leverage new 'order' type class instantiation in multiset | changeset | files |
| Wed, 06 Jul 2016 23:19:27 +0200 | blanchet | updated examples | changeset | files |
| Wed, 06 Jul 2016 22:52:10 +0200 | wenzelm | merged | changeset | files |
| Wed, 06 Jul 2016 20:19:51 +0200 | wenzelm | misc tuning and modernization; | changeset | files |