HomeIsabelle/Phabricator

A slight tidying up of messy proof steps

Description

A slight tidying up of messy proof steps

Details

Committed
paulson <lp15@cam.ac.uk>Nov 8 2019, 5:07 PM
Parents
rISABELLE295609359b58: tuned toc
Branches
Unknown
Tags
Unknown