Email Gateway (Aug 22 2022 at 20:03): Email Gateway (Aug 22 2022 at 20:03):From: Ashwin Bhaskar <bashwin302@gmail.com>
Hello,
I am using Isabelle 2019, session Markov_Models.
When I try to import the theories "Markov_Models.Markov_Models" and
"Gabow_SCC.Gabow_SCC", I am getting the following error:
Conflict of type arities:
prod :: (linorder, linorder) sup and
prod :: (sup, sup) sup
Could someone please help me resolve this error?
Thanking you,
Ashwin Bhaskar
New1.thy.rtf
Last updated: Apr 25 2024 at 08:20 UTC