|
|
|---|
|
|
|
|---|
(macro) print the runes (definitions, lemmas, ...) used
Examples and general forms: (runes t) ; print all runes used during this interactive proof (runes nil) ; print all runes used by the most recent command (runes) ; same as (runes nil) runes ; same as (runes nil)
This command does not change the state of the interactive proof-builder. Rather, it simply reports runes (see rune) that have participated in the interactive proof.
Note that