- Tuned syntax - proof_of_term: fixed problems with dummy patterns and typing information
- Tuned syntax
- proof_of_term: fixed problems with dummy patterns and typing information

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle