On 18.09.2011 17:38, Makarius wrote:
Are there any further things in the pipeline? In the final phase one
needs a bit more organization than the "push first, fix later" cycle
that occasionally happens outside this special season.
Two things from my side:
- There is some tiny amount of reorganization left for
Complete_Lattices (removing some "*_singleton" lemmas). Will
probably push later this day; tests look good so far.
- I'm working on integrating Haskabelle as a component.
-- Lars
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
