Diffusion afp-devel c85fcabd5bff

avoid name clash of internal derivations;
c85fcabd5bff
Actions

Tags

None

Subscribers

None

Description

avoid name clash of internal derivations;

Details

Provenance

Authored on

Parents

rAFP9bd3fa01955a: recovered proof;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rAFPc85fcabd5bff: avoid name clash of internal derivations;.Oct 21 2019, 2:54 PM

Changes (2)

Path

Size

thys/

KD_Tree/

rAFPc85fcabd5bff

thys/KD_Tree/Balanced.thy

Loading...

thys/KD_Tree/KDTree.thy

Loading...