Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Instance

Email Gateway (Aug 19 2022 at 14:37):

From: "Roger H." <s57076@hotmail.com>
Hi,

how do i write instance checking, like

lemma "3 in nat"

Many thanks!

Last updated: Dec 16 2025 at 12:51 UTC