HomePhabricator

export constdefs according to defs.ML;

Authored by makarius.

Description

export constdefs according to defs.ML;

Details

Committed
makariusOct 21 2019, 4:32 PM
Parents
rISABELLE692095bafcd9: avoid spurious shyps (with vacous type variable);
Branches
Unknown
Tags
Unknown