Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
Parents and children of check-in 
|11:12||Added some utilities for working with proof terms (extracting subproofs, getting proof goals, navigating through proofs on a path, etc.) check-in: e902cf4ec5 user: andy tags: trunk|
|21:05||Added support for rendering rule names next to rules (as table captions). Names are *not* rendered on rule applications in derivations, mostly because names are not stored in the proof tree. check-in: 0672529592 user: andy tags: trunk|
|20:49||Added support for rendering inductive goals with the up/down arrows. check-in: 98ef3fd317 user: andy tags: trunk|