Re: [isabelle] I want to print axiom info (sledgeH error at end)
On 7/17/2012 2:17 AM, Lars Noschinski wrote:
When you are using jEdit, then I suggest using Ctrl+Hover to get the
full names and types of constants, without making the term hardly
readable due to all the annotations.
Alright, it's like Perl, where there's more than one way to do
something, except the Ctrl+Hover way also labels each of the component
part with additional information, such as axiom, theory fact, local
fact, bound variable, free variable, etc.
This archive was generated by a fusion of
Pipermail (Mailman edition) and