HomeIsabelle/Phabricator

unfold intermediate (internal) pred definitions