HomeIsabelle/Phabricator

A few new theorems, plus some tidying up

Description

A few new theorems, plus some tidying up

Details

Committed
paulson <lp15@cam.ac.uk>Wed, May 20, 4:00 PM
Parents
rISABELLEda12452c9be2: corrected spelling and tuned whitespace
Branches
Unknown
Tags
Unknown