HomeIsabelle/Phabricator
Authored by makarius.

Description

merged

Event Timeline

Merged Changes

CommitAuthorDetailsCommitted
98ac9a4323a2traytel
merged 
Nov 6 2019
c9c1a64eeb69traytel
corrected typo in lemma name 
Nov 6 2019