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

Jasmin Blanchette jasmin.blanchette at gmail.com
Tue Oct 6 11:57:07 CEST 2015

Previous message (by thread): [isabelle-dev] Multiset missing Nitpick_Model.unrep in 2007ea8615a2
Next message (by thread): [isabelle-dev] Scrollbar, where are thou?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Thanks, sorry (24b5e7579fdd).

Jasmin

> On 06.10.2015, at 11:42, Dmitriy Traytel <traytel at inf.ethz.ch> wrote:
> 
> The title says it all.
> 
> Dmitriy

Previous message (by thread): [isabelle-dev] Multiset missing Nitpick_Model.unrep in 2007ea8615a2
Next message (by thread): [isabelle-dev] Scrollbar, where are thou?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list