Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Automaton example

Email Gateway (Aug 18 2022 at 09:36):

From: Gabriele Pozzani <gabriele.pozzani@gmail.com>
If I execute "isabelle IOA" it returns the error:
Unknown logic "IOA" -- no heap file found in:
/home/pozzani/isabelle/heaps/polyml-4.1.4_x86-linux
/home/pozzani/Isabelle/Isabelle2005/heaps/polyml-4.1.4_x86-linux

And if I load HOLCF and so Test, isabelle returns the syntax error:
*** Outer syntax error: end of input expected,
*** but keyword "=" was found
where the "=" is in the second datatype definition.

Have not I installed correctly Isabelle (version 2005)?

Thanks
Gabriele

Last updated: Nov 21 2024 at 12:39 UTC