HomeIsabelle/Phabricator

disabled 'ite' in Zipperposition until we upgrade to a version of Zip that…

Description

disabled 'ite' in Zipperposition until we upgrade to a version of Zip that supports it and we generate the proper syntax

Details

Provenance
blanchetteAuthored on
Parents
rISABELLE5f0f0553762f: proper test for type constructor;
Branches
Unknown
Tags
Unknown