HomeIsabelle/Phabricator

clarified 'let' syntax: avoid conflict with existing 'let' in FOL;

Description

clarified 'let' syntax: avoid conflict with existing 'let' in FOL;

Details

Provenance
makariusAuthored on
Parents
rISABELLEf5c5006d142e: tuned;
Branches
Unknown
Tags
Unknown