HomeIsabelle/Phabricator

strict bounds for BNFs (by Jan van Brügge)