Isar diagnostic commands

E1997096 UNEXPLORED

Isar diagnostic commands are a set of Isabelle/Isar tools and commands used to inspect, debug, and analyze proof states and theories within the interactive theorem proving environment.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Isar diagnostic commands canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Isabelle/Isar Reference Manual → covers → Isar diagnostic commands ⓘ