HomeIsabelle/Phabricator

cleaned up some messy proofs

Description

cleaned up some messy proofs

Details

Committed
paulson <lp15@cam.ac.uk>Fri, Sep 11, 3:14 PM
Parents
rISABELLE9c6787cfd70e: merged
Branches
Unknown
Tags
Unknown

Event Timeline