HomeIsabelle/Phabricator

renaming for consistency

Description

renaming for consistency

Details

Committed
Julian Brunner <julianbrunner@gmail.com>Sun, Feb 9, 1:20 AM
Parents
rAFP2a4d3cb0f059: generalized deterministic degeneralization
Branches
Unknown
Tags
Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFPc3c986158767: renaming for consistency.Sun, Feb 9, 1:20 AM