HomeIsabelle/Phabricator

clarified node_required status: distinguish theory_required vs.

Description

clarified node_required status: distinguish theory_required vs. document_required;
more robust and more correct Geometry.in operation;

Details

Provenance
makariusAuthored on
Parents
rISABELLE5ba13c82a286: proper user tool;
Branches
Unknown
Tags
Unknown