HomeIsabelle/Phabricator

PolyML.pretty and PolyML.context are eqtypes based on their current…

Description

PolyML.pretty and PolyML.context are eqtypes based on their current constructors.
It's possible that they might not be in the future if additional constructors were added to the context.

Details

Provenance
dcjmAuthored on Wed, Apr 28, 1:57 PM
Parents
rPOLYMLd233f6d4b8eb: Fix indexing of vectors and arrays for PackReal32 on 64-bits.
Branches
Unknown
Tags
Unknown