correctly translate constructor argument in 'primrec'
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLEa5212df98387: simplified a few proofs
- Branches
- Unknown
- Tags
correctly translate constructor argument in 'primrec' Tags None Subscribers None |