HomeIsabelle/Phabricator

moved lemmas from AFP to distribution