HomeIsabelle/Phabricator

more markup, e.g. to locate defining theory node in formal document output;

Description

more markup, e.g. to locate defining theory node in formal document output;

Details

Provenance
makariusAuthored on
Parents
rISABELLE839a6e284545: tuned signature;
Branches
Unknown
Tags
Unknown