[isabelle] looking up a lemma in Isabelle/JEdit


if there is a reference in a proof to an automatically verified lemma, I
can CTRL-click on the name and Isabelle/JEdit takes me to the definition of
e.g. the datatype. But the lemma is not explicit there.

Is there a way to display the lemma other than using the Find feature? It
would be nice to have a button to display the theorem in a tooltip.

- Gergely

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.