[isabelle-dev] Sort constraints syntax

Tobias Nipkow nipkow at in.tum.de
Thu Apr 19 13:54:45 CEST 2012

I did not propose to add this before the release, but I don't see any harm in
discussing it now. In fact, now people may be more alert than later. Of course
you are welcome to add your two cents later.


Am 19/04/2012 13:25, schrieb Makarius:
> On Thu, 19 Apr 2012, Tobias Nipkow wrote:
>> Reactions?
> Postpone discussion until after official rollout of Isabelle2012.
> There still many things to be sorted out.
>     Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list