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