HomeIsabelle/Phabricator

moved generic implementation into HOL-Main