Small simplifications. Removed a needless assumption.
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rAFP3080fbfdf9ff: isabelle update -u cite;
- Branches
- Unknown
- Tags
Small simplifications. Removed a needless assumption. Tags None Subscribers None |