HomeIsabelle/Phabricator

proper order of variables, independently of varify/unvarify state -- relevant…

Description

proper order of variables, independently of varify/unvarify state -- relevant for export of locale conclusions;

Details

Provenance
makariusAuthored on
Parents
rISABELLEb62bb9a61abc: merged
Branches
Unknown
Tags
Unknown