>> Since August is the canonical time for vacation for many people it is >> probably better to get into more concrete discussions in 3-4 weeks from >> now, but people can already start thinking about their own areas of >> responsibility concerning consolidation for the release.
I have two topics on the screen
* Complete_Lattice.thy
* eliminate some historical legacy theorems (Johannes Hölzl and me)
* further default simp rules (Lars Noschinski and me)
* Separating predicates and sets syntactically
Details of the last point can be followed on the mailing list
conversations. As already proposed, I would refrain from such
fundamental changes like introduction a set type constructor before that
release.
Florian
--
Home:
http://www.in.tum.de/~haftmann
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
