more scalable output of YXML files;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEd7175626d61e: proper grounding of free types produced by reconstruct_proof/infer_type, e.g.
- Branches
- Unknown
- Tags
more scalable output of YXML files; Tags None Subscribers None |