Diffusion afp-devel 0701443c1121

proper naming conventions for Isabelle/ML;
0701443c1121
Actions

Tags

None

Subscribers

None

Description

proper naming conventions for Isabelle/ML;

Details

Provenance

Authored on

Parents

rAFPecd8d59a71f5: Updated citation

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP0701443c1121: proper naming conventions for Isabelle/ML;.Nov 3 2022, 5:13 PM

Changes (2)

Path

Size

thys/

Core_DOM/

common/

preliminaries/

Hiding_Type_Variables.thy

Core_SC_DOM/

common/

preliminaries/

Hiding_Type_Variables.thy

rAFP0701443c1121

thys/Core_DOM/common/preliminaries/Hiding_Type_Variables.thy

Loading...

thys/Core_SC_DOM/common/preliminaries/Hiding_Type_Variables.thy

Loading...