fixed a nonterminating proof (caused by Algebra change)
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rAFPcbe0d92508e1: slightly simplified analysis (for the book)
- Branches
- Unknown
- Tags
fixed a nonterminating proof (caused by Algebra change) Tags None Subscribers None |