HomeIsabelle/Phabricator

removed old lemma names

Description

removed old lemma names

Details

Provenance
desharnaAuthored on
Parents
rISABELLE907b5c4d1332: merged
Branches
Unknown
Tags
Unknown