HomeIsabelle/Phabricator

characterization of singleton bit operation

Authored by florian.haftmann.

Description

characterization of singleton bit operation

Details

Committed
florian.haftmannDec 1 2019, 9:00 AM
Parents
rISABELLE8331063570d6: bit accessor and fundamental properties
Branches
Unknown
Tags
Unknown