HomeIsabelle/Phabricator

proper dynamic position of application context, e.g. relevant for…

Description

proper dynamic position of application context, e.g. relevant for 'global_interpretation';

Details

Provenance
makariusAuthored on
Parents
rISABELLE37eb175895c5: proper treatment of variable names;
Branches
Unknown
Tags
Unknown