Diffusion afp-devel c9b532b32acc

synchronize with isabelle_c/a8ec2f73aa2426b34f6c7548f720abd31413ca79 , update…
c9b532b32acc
Actions

Tags

None

Subscribers

None

Description

synchronize with isabelle_c/a8ec2f73aa2426b34f6c7548f720abd31413ca79 , update bib links

Details

Provenance

Frédéric Tuong

Authored on

Parents

rAFPd4df5c37f780: tuned timeout;

Branches

Unknown

Tags

Unknown

Event Timeline

Frédéric Tuong committed rAFPc9b532b32acc: synchronize with isabelle_c/a8ec2f73aa2426b34f6c7548f720abd31413ca79 , update….Dec 27 2019, 2:24 PM

Changes (4)

Path

Size

thys/

Isabelle_C/

C11-FrontEnd/

C_Appendices.thy

document/

examples/

rAFPc9b532b32acc

thys/Isabelle_C/C11-FrontEnd/C_Appendices.thy

Loading...

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

Loading...

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

Loading...

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

Loading...