Diffusion afp-devel 283b369461f2

uodated map update syntax
283b369461f2
Actions

Tags

None

Subscribers

None

Description

uodated map update syntax

Details

Provenance

Authored on

Parents

rAFP8b1d59d0990d: Adjusted to changes in distribution.

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP283b369461f2: uodated map update syntax.Mar 26 2023, 5:42 PM

Changes (3)

Path

Size

thys/

ConcurrentGC/

Global_Invariants_Lemmas.thy

StrongTricolour.thy

rAFP283b369461f2

thys/ConcurrentGC/Global_Invariants_Lemmas.thy

Loading...

thys/ConcurrentGC/StrongTricolour.thy

Loading...

thys/ConcurrentGC/Valid_Refs.thy

Loading...