HomeIsabelle/Phabricator

changed Mirabelle's filter to use short theory names

Description

changed Mirabelle's filter to use short theory names

Details

Provenance
desharnaAuthored on
Parents
rISABELLE52b829b18066: more lemmas
Branches
Unknown
Tags
Unknown