HomeIsabelle/Phabricator

tuned module name space for generated code

Authored by florian.haftmann.

Description

tuned module name space for generated code

Details

Committed
florian.haftmannThu, May 21, 10:00 PM
Parents
rISABELLE76784f47c60f: unused alias
Branches
Unknown
Tags
Unknown