HomeIsabelle/Phabricator

patched a proof

Description

patched a proof

Details

Committed
paulson <lp15@cam.ac.uk>Nov 5 2019, 3:03 PM
Parents
rAFPc5c88012f116: fixed a failing (and ugly) proof
Branches
Unknown
Tags
Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP3f2bdb753c38: patched a proof.Nov 5 2019, 3:03 PM