Material for regression testing surely belongs elsewhere, especially if there is a lot of it. Larry
> On 2 Jun 2020, at 06:55, Florian Haftmann > <[email protected]> wrote: > > b) rather technical matter (e.g. testings simprocs etc.) and idea sketches _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
