Email Gateway (Aug 18 2022 at 11:59): Email Gateway (Aug 18 2022 at 11:59):From: Beta Ziliani <beta.ziliani@gmail.com>
Sorry for being such a spammer, but I think that this mail can help another
guy.
The problem was that copy-paste from the tutorial is not a good idea,
because there are some characters (´ instead of ') that boiled Isabelle.
Still is missing in the tutorial that, when writting your theory, you have
to use it by pressing the "use" button. It sounds more obvious than it is, I
think.
Thank you Makarious for being pacient!
Cheers,
Beta
Last updated: May 03 2024 at 04:19 UTC