HomePhabricator

tuned proofs;

Authored by makarius.

Description

tuned proofs;

Details

Committed
makariusNov 8 2019, 8:12 PM
Parents
rISABELLE4b45d592ce29: clarified modules;
Branches
Unknown
Tags
Unknown