Simplified some definitions and proofs by eliminating the constant cconcat
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rAFP358b66dce878: guide continued
- Branches
- Unknown
- Tags
Simplified some definitions and proofs by eliminating the constant cconcat Tags None Subscribers None |