[isabelle-dev] Multiset missing Nitpick_Model.unrep in 2007ea8615a2

[Dmitriy Traytel]

The title says it all.

Dmitriy
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Re: [isabelle-dev] Multiset missing Nitpick_Model.unrep in 2007ea8615a2

[Jasmin Blanchette]

Thanks, sorry (24b5e7579fdd).

Jasmin

> On 06.10.2015, at 11:42, Dmitriy Traytel  wrote:
> 
> The title says it all.
> 
> Dmitriy

___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev