[isabelle-dev] Towards the next release

Makarius makarius at sketis.net
Thu Mar 22 11:42:13 CET 2012

On Fri, 16 Mar 2012, Florian Haftmann wrote:

> * The set story: 
> https://isabelle.in.tum.de/community/Having_%27a_set_back Not everything 
> mentioned there is an ultimate need, but we should strive to pick as 
> many fruits as we can from the set type constructor – the more likely 
> this will compensate users if they have to adjust their theories
> * The numeral story: https://isabelle.in.tum.de/community/Numerals It 
> looks quite good (preliminary tests of the AFP did not reveal much 
> problems).  The fork should be done by the end of April.  The further 
> perspectives listed there are no need-to-haves for the next release.

Does it mean both will reforms will be finished for the coming release?


More information about the isabelle-dev mailing list