I don’t intend any more changes. Fans of “approximation” may have to get used to doing “simp add: powr_def” first.
Larry > On 14 Apr 2015, at 15:35, Makarius <makar...@sketis.net> wrote: > > Does that mean there will be further changes, to make it fully work in the > coming release? > > It would be nice to see this last-minute change properly stabilized, such > that Isabelle does not degrade into "continuous non-release > repository-snapshot quality", like so many other projects today. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev