Diffusion afp-devel 88b8151dff90

updated to new Leftist_Heap
88b8151dff90
Actions

Tags

None

Subscribers

None

Description

updated to new Leftist_Heap

Details

Provenance

Authored on

Parents

rAFP82f18c28f31b: adjusted to distribution

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP88b8151dff90: updated to new Leftist_Heap.Nov 2 2020, 1:29 PM

Changes (2)

Path

Size

thys/

CakeML_Codegen/

Test/

Test_Embed_Data.thy

Utils/

rAFP88b8151dff90

thys/CakeML_Codegen/Test/Test_Embed_Data.thy

Loading...

thys/CakeML_Codegen/Utils/Test_Utils.thy

Loading...