Sorry I forgot one needs to have the latest version of the AFP as well. Thanks
Larry On 7 Jul 2022, 17:03 +0100, Fabian Huch <[email protected]>, wrote: On which version of Isabelle/AFP are you on? Isabelle/be0865060346 + AFP/1e0f664cffc8 works for me.
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
