Is there an easy way to get jEdit to show a list of all schematic variable assignments at a certain point in an Isabelle proof?
Is there an easy way to get jEdit to show a list of all schematic variable assignments at a certain point in an Isabelle proof?