Diffusion afp-devel 5b9b4cf1e4e5

continue ee01bce2ecca
5b9b4cf1e4e5
Actions

Tags

None

Subscribers

None

Description

continue ee01bce2ecca

Details

Provenance

Frédéric Tuong

Authored on

Parents

rAFP57848b558e4c: cancel some part of 11d4567f1b99

Branches

Unknown

Tags

Unknown

Event Timeline

Frédéric Tuong committed rAFP5b9b4cf1e4e5: continue ee01bce2ecca.Mar 7 2022, 5:02 AM

Changes (1)

Path

Size

thys/

Isabelle_C/

C11-FrontEnd/

examples/

rAFP5b9b4cf1e4e5

thys/Isabelle_C/C11-FrontEnd/examples/C2.thy

Loading...