more robust hybrid treatment of Pure, notably for Isabelle/Dedukti;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE4c15217d6266: clarified signature: name of standard_proof is authentic, otherwise empty;
- Branches
- Unknown
- Tags