HomeIsabelle/Phabricator

Removal of unnecessary material

Description

Removal of unnecessary material

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFP0915660e2387: perfectly pointless streamlining
Branches
Unknown
Tags
Unknown