Thu, 07 Jul 2016 17:34:39 +0200 fleury more instantiations for multiset
Thu, 07 Jul 2016 09:24:03 +0200 blanchet moved lemmas and locales around (with minor incompatibilities)
Thu, 07 Jul 2016 00:43:27 +0200 blanchet updated example
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip