HomeIsabelle/Phabricator

back to dedicated separate shift operations for infix syntax;

Description

back to dedicated separate shift operations for infix syntax;
more default simp rules on closed numeric expressions

Details

Provenance
florian.haftmannAuthored on
Parents
rAFP802a16fc10b0: modify JinjaDCI
Branches
Unknown
Tags
Unknown