[isabelle] typesetting this



Hi,

neither @{subgoals} nor @{goals} typeset the value of _this_. Is there
a command that shows it? I would like to show what happens when
_assume_ is used.

- Gergely




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