On Thu, 18 Aug 2011, Florian Haftmann wrote:
envisaged working plan ----------------------a) general b) elimination of set/pred mixture c) consolidation d) RELEASE
This looks quite reasonable to me: the parts a, b, c should be easy to consolidate for the release towards the end of the summer.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
