HomeIsabelle/Phabricator

modernized notations in saturation framework

Description

modernized notations in saturation framework

Details

Provenance
blanchetteAuthored on
Parents
rAFP4d303d705c38: merge
Branches
Unknown
Tags
Unknown