HomePhabricator

A slight tidying up of messy proof steps

Description

A slight tidying up of messy proof steps

Details

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