Are there any resources/examples/case studies on the module src/Pure/proofterm.ML?
src/Pure/proofterm.ML
Last updated: Jun 30 2025 at 01:55 UTC