HomeIsabelle/Phabricator

avoid Scala if-expressions and thus make it work both for -new-syntax or -old…

Description

avoid Scala if-expressions and thus make it work both for -new-syntax or -old-syntax;

Details

Provenance
makariusAuthored on
Parents
rAFP40bffd87d285: added missing file; simplified proofs
Branches
Unknown
Tags
Unknown