HomeIsabelle/Phabricator
Diffusion afp-devel ddbab58b4c7d

simplified proofs
ddbab58b4c7d
Actions

Description

simplified proofs

Details

Provenance
nipkowAuthored on
Parents
rAFPa3d250c96907: added union nodes and finiteness theorems
Branches
Unknown
Tags
Unknown

Changes (1)

PathSize
thys/
Priority_Queue_Braun/

rAFPddbab58b4c7d

View Options

thys/Priority_Queue_Braun/Priority_Queue_Braun2.thy

Loading...