HomePhabricator

tuned proofs -- more stable proof terms without [rule_format];

Authored by makarius.

Description

tuned proofs -- more stable proof terms without [rule_format];

Details

Committed
makariusNov 8 2019, 12:07 PM
Parents
rISABELLE995fe5877d53: tuned declarations for more compact proof terms;
Branches
Unknown
Tags
Unknown