Diffusion afp-devel 56b9fc8ccf14

Adapted to devel
56b9fc8ccf14
Actions

Tags

None

Subscribers

None

Description

Adapted to devel

Details

Provenance

Authored on

Parents

rAFP9dbe244f1a10: Relational_Disjoint_Set_Forests: simplified invariant

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP56b9fc8ccf14: Adapted to devel.Aug 9 2023, 2:35 PM

Changes (2)

Path

Size

thys/

CAVA_Automata/

Digraph_Basic.thy

Statecharts/

rAFP56b9fc8ccf14

thys/CAVA_Automata/Digraph_Basic.thy

Loading...

thys/Statecharts/HAOps.thy

Loading...