[isabelle-dev] HOL-ex

Lawrence Paulson lp15 at cam.ac.uk
Tue Jun 2 11:22:51 CEST 2020

Material for regression testing surely belongs elsewhere, especially if there is a lot of it.

> On 2 Jun 2020, at 06:55, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:
> b) rather technical matter (e.g. testings simprocs etc.) and idea sketches

More information about the isabelle-dev mailing list