Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. support abstract syntax for proof terms (see src/Pure/Proofs/proof_syntax.ML);
Changeset 70359:470d4f145e4c by wenzelm:
support abstract syntax for proof terms (see src/Pure/Proofs/proof_syntax.ML);
The file was modified src/Pure/pure_thy.scala (diff)