[isabelle-dev] Sort constraints syntax
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:
> Postpone discussion until after official rollout of Isabelle2012.
> There still many things to be sorted out.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev