[isabelle-dev] New proof method "rewrite"

Makarius makarius at sketis.net
Tue Apr 14 14:30:34 CEST 2015


On Thu, 9 Apr 2015, Makarius wrote:

> Back to the actual topic of this thread: If you want to change the 
> syntax for the release, there are a very few days left until the first 
> release candidate is published

Is there still anything coming for the release on this thread?


 	Makarius




More information about the isabelle-dev mailing list