Diffusion afp-devel 2e0d1f786e12

added a sorting theory
2e0d1f786e12
Actions

Tags

None

Subscribers

None

Description

added a sorting theory

Details

Provenance

Authored on

Parents

rAFP09bbfde13795: merge

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP2e0d1f786e12: added a sorting theory.Dec 17 2019, 4:37 PM

Changes (4)

Path

Size

Priority_Queue_Braun

Sorting_Braun.thy

rAFP2e0d1f786e12

thys/Priority_Queue_Braun/ROOT

Loading...

thys/Priority_Queue_Braun/Sorting_Braun.thy

Loading...