Email Gateway (Aug 18 2022 at 16:35): Email Gateway (Aug 18 2022 at 16:35):From: Victor Porton <porton@narod.ru>
In locales.pdf page 2 there are the following code:
..
assumes "partial_order op ..."
..
What is "op"? This word is not defined anywhere in locales.pdf.
Email Gateway (Aug 18 2022 at 16:35):From: Timothy McKenzie <tjm1983@gmail.com>
I did a quick search in tutorial.pdf (from Isabelle 2009-2) for
"op" as a whole word. The first instance I found (near the top of
page 54) gave me the answer, which I suggest you look up for
yourself; if I quote it here, I'm afraid I might leave out some
surrounding material that would help you understand it better.
Timothy
<><
signature.asc
Last updated: Apr 26 2024 at 08:19 UTC