HomeIsabelle/Phabricator

tuned signature;

Authored by makarius.

Description

tuned signature;

Details

Committed
makariusNov 24 2019, 3:31 PM
Parents
rISABELLE8bdf3c36011c: tuned theory structure
Branches
Unknown
Tags
Unknown