Re: [isabelle-dev] [isabelle] Proposal: An update to Multiset theory

2016-08-11 Thread Florian Haftmann
See now rev. 76302202a92d Thanks for contributing! Cheers, Florian Am 08.08.2016 um 14:44 schrieb Bertram Felgenhauer: > Florian Haftmann wrote: >> Hi Bertram, >> >>> How shall we proceed? As I hinted at earlier I do not have (nor want, at >>> this point) push access, but I can prepare

Re: [isabelle-dev] comm_monoid, comm_monoid_set in bbcb05504fdc

2016-08-11 Thread Florian Haftmann
See now 7faa9bf9860b for a related issue. We had a personal conversation that it is very likely that the remaning issues will disappear after the next big envisaged reform of the analysis material. Cheers, Florian Am 07.08.2016 um 10:47 schrieb Florian Haftmann: > Hi Johannes, > > that