HomeIsabelle/Phabricator

Add syntactic abbreviation for constants.

Description

Add syntactic abbreviation for constants.

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFPba8e9817b256: Add papers to metadata.
Branches
Unknown
Tags
Unknown