Diffusion afp-devel 57848b558e4c

cancel some part of 11d4567f1b99
57848b558e4c
Actions

Tags

None

Subscribers

None

Description

cancel some part of 11d4567f1b99

Details

Provenance

Frédéric Tuong

Authored on

Parents

rAFP2dfd9e8da0f1: cancel some part of 98838b260ed4

Branches

Unknown

Tags

Unknown

Event Timeline

Frédéric Tuong committed rAFP57848b558e4c: cancel some part of 11d4567f1b99.Mar 7 2022, 4:15 AM

Changes (7)

Path

Size

document/

rAFP57848b558e4c

thys/Isabelle_C/C11-FrontEnd/document/root.tex

Loading...

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

Loading...

thys/Isabelle_C/ROOT

Loading...