Diffusion afp-devel a32a85449094

adapted to Isabelle/a2c589d5e1e4;
a32a85449094
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/a2c589d5e1e4;

Details

Provenance

Authored on

Parents

rAFP74da145e496a: Merge

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPa32a85449094: adapted to Isabelle/a2c589d5e1e4;.Apr 19 2021, 7:24 PM

Changes (1)

Path

Size

thys/

Isabelle_C/

C11-FrontEnd/

src/

rAFPa32a85449094

thys/Isabelle_C/C11-FrontEnd/src/C_Eval.thy

Loading...