HomeIsabelle/Phabricator

Fix type-dependent functions, e.g. PolyML.print, if they were in a structure…

Description

Fix type-dependent functions, e.g. PolyML.print, if they were in a structure with a signature.

Details

Provenance
dcjmAuthored on Apr 23 2021, 5:44 PM
Parents
rPOLYMLd621a0b55b42: Reinstate tests on the command argument to Unix.execute to check it is…
Branches
Unknown
Tags
Unknown