Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Set cpo

Email Gateway (Aug 22 2022 at 11:34):

From: "Roger H." <s57076@hotmail.com>
Hello,
this question is also related to the bool-question.
How do i prove in Isabelle 2015
instance set :: (cpo) cpo
?
Thank you!

Last updated: Feb 01 2025 at 20:19 UTC