HomeIsabelle/Phabricator

deleted a lemma that's in the devel library

Description

deleted a lemma that's in the devel library

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFP2e98525d149e: Cleanup and new results.
Branches
Unknown
Tags
Unknown