HomeIsabelle/Phabricator

Description

merged

Details

Provenance
nipkowAuthored on
Parents
rISABELLE2612b3406b61: added finite simproc
rISABELLEe800cc580c80: merged
Branches
Unknown
Tags
Unknown

Merged Changes