HomeIsabelle/Phabricator

simplified proofs

Authored by nipkow.

Description

simplified proofs

Details

Committed
nipkowJan 27 2020, 8:47 AM
Parents
rAFPa3d250c96907: added union nodes and finiteness theorems
Branches
Unknown
Tags
Unknown