HomeIsabelle/Phabricator

misc tuning and clarification: proper check of datatype kind;

Authored by makarius.

Description

misc tuning and clarification: proper check of datatype kind;

Details

Committed
makariusDec 6 2019, 11:36 AM
Parents
rISABELLEe5664a75f4b5: clarified modules;
Branches
Unknown
Tags
Unknown