HomePhabricator
Authored by makarius.

Description

merged

Details

Committed
makariusNov 1 2019, 6:43 PM
Parents
rISABELLEd8a7df9fdd03: more operations;
rISABELLEa7a52ba0717d: more lemmas
Branches
Unknown
Tags
Unknown

Event Timeline

Merged Changes

CommitAuthorDetailsCommitted
a7a52ba0717dhaftmann
more lemmas 
Oct 31