[isabelle-dev] Sort constraints syntax

[Tobias Nipkow]

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.

Tobias

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