HomeIsabelle/Phabricator

Fixed a few messy proofs and adjusted inconsistent section headings

Description

Fixed a few messy proofs and adjusted inconsistent section headings

Details

Committed
paulson <lp15@cam.ac.uk>Nov 28 2019, 5:43 PM
Parents
rISABELLE11e1e273eaad: A more informative comment
Branches
Unknown
Tags
Unknown