Diffusion afp-devel 25ba40a59673

adapted to 3e343c0c2138
25ba40a59673
Actions

Tags

None

Subscribers

None

Description

adapted to 3e343c0c2138

Details

Provenance

Authored on

Parents

rAFP47862306dbbd: recover from unsafe set during Picard iteration

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP25ba40a59673: adapted to 3e343c0c2138.May 22 2020, 3:09 PM

Changes (2)

Path

Size

thys/

Graph_Saturation/

GraphRewriting.thy

UTP/

toolkit/

rAFP25ba40a59673

thys/Graph_Saturation/GraphRewriting.thy

Loading...

thys/UTP/toolkit/List_Extra.thy

Loading...