I can confirm that the sos method (without an argument) fails under Catalina. See e.g. HOL/ex/SOS.thy.
Larry > On 27 Nov 2019, at 18:28, Lawrence Paulson <[email protected]> wrote: > > It’s for the sos method. Didn’t realise we were losing this. > > See https://www.cl.cam.ac.uk/~jrh13/slides/mit-16apr10/slides.pdf > > Larry _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
