[isabelle] looking up a lemma in Isabelle/JEdit



Hi,

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.