HomeIsabelle/Phabricator

generalized Saturation_Framework a little, to repair a mismatch with the pen…

Description

generalized Saturation_Framework a little, to repair a mismatch with the pen-and-paper development

Details

Provenance
blanchetteAuthored on
Parents
rAFP71bf77101d31: merge from afp-2020
Branches
Unknown
Tags
Unknown