HomeIsabelle/Phabricator

factored out theory Traditional_Syntax