HomePhabricator

clarified modules (again);

Authored by makarius.

Description

clarified modules (again);

Details

Committed
makariusNov 1 2019, 3:23 PM
Parents
rISABELLE7abe5abb4c05: more detailed proof term output;
Branches
Unknown
Tags
Unknown