HomeIsabelle/Phabricator

tuned output syntax: Hoare triples are now blocks