HomeIsabelle/Phabricator

clarified signature: store full theory name;

Authored by makarius.

Description

clarified signature: store full theory name;

Details

Committed
makariusDec 9 2019, 11:17 AM
Parents
rISABELLEdd74e0558fd1: merged
Branches
Unknown
Tags
Unknown