HomePhabricator

tuned declarations for more compact proof terms;

Authored by makarius.

Description

tuned declarations for more compact proof terms;

Details

Committed
makariusThu, Nov 7, 4:03 PM
Parents
rISABELLE45a1fcee14a0: prefer named facts;
Branches
Unknown
Tags
Unknown