Diffusion afp-devel 6c07594c559b

compile with isabelle/0131b7b44c32
6c07594c559b
Actions

Tags

None

Subscribers

None

Description

compile with isabelle/0131b7b44c32

Details

Provenance

Frédéric Tuong

Authored on

Parents

rAFP55e2ed5589cd: adapted to devel

Branches

Unknown

Tags

Unknown

Event Timeline

Frédéric Tuong committed rAFP6c07594c559b: compile with isabelle/0131b7b44c32.Dec 19 2019, 7:39 PM

Changes (1)

Path

Size

thys/

Isabelle_C/

C11-FrontEnd/

src/

rAFP6c07594c559b

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

Loading...