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: Oct 03 2026 at 04:22 UTC