HomePhabricator

more detailed proof term output;

Authored by makarius.

Description

more detailed proof term output;
tuned signature;

Details

Committed
makariusNov 1 2019, 3:09 PM
Parents
rISABELLEa1c137961c12: tuned signature;
Branches
Unknown
Tags
Unknown