rephrase Nitpick constraint in more first-order format that's also more friendly to the 'box' option
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE2d8a0f8e30ec: correctly translate constructor argument in 'primrec'
- Branches
- Unknown
- Tags