HomeIsabelle/Phabricator

renamed t_ functions to T_ (im Auftrag von T. Nipkow)