Diffusion afp-devel 29b3e29e042e

proper Consts.dummy_types;
29b3e29e042e
Actions

Tags

None

Subscribers

None

Description

proper Consts.dummy_types;

Details

Provenance

Authored on

Parents

rAFPdcb063b90519: updated to devel

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rAFP29b3e29e042e: proper Consts.dummy_types;.Oct 4 2019, 4:28 PM

Changes (1)

Path

Size

thys/

Simpl/

rAFP29b3e29e042e

thys/Simpl/hoare.ML

Loading...