HomeIsabelle/Phabricator

removed a spurious locale parameter -- the same issue probably arises in the…

Description

removed a spurious locale parameter -- the same issue probably arises in the pen-and-paper Waldmann et al.

Details

Provenance
blanchetteAuthored on
Parents
rAFP8f58103dc2d4: removed needless assumption
Branches
Unknown
Tags
Unknown