HomeIsabelle/Phabricator

A little more tidying up

Description

A little more tidying up

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFP1e53550fa67e: more on "summable"
Branches
Unknown
Tags
Unknown