HomeIsabelle/Phabricator

export spec rules;

Authored by makarius.

Description

export spec rules;

Details

Committed
makariusNov 30 2019, 3:17 PM
Parents
rISABELLE8331063570d6: bit accessor and fundamental properties
Branches
Unknown
Tags
Unknown