Diffusion afp-devel 39d02fa56315

adapted to isabelle/devel
39d02fa56315
Actions

Tags

None

Subscribers

None

Description

adapted to isabelle/devel

Details

Provenance

Authored on

Parents

rAFP4b5944e86bd6: adapted to new definition of wfP following Isabelle/233d70cad0cf

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP39d02fa56315: adapted to isabelle/devel.Mar 24 2024, 2:51 PM

Changes (1)

Path

Size

thys/

Priority_Queue_Braun/

Priority_Queue_Braun.thy

rAFP39d02fa56315

thys/Priority_Queue_Braun/Priority_Queue_Braun.thy

Loading...