HomeIsabelle/Phabricator

clarified node_required status: distinguish theory_required vs.