Diffusion afp-devel e3caeb84ccd9

clarified signature, following Isabelle/a3b0fc510705;
e3caeb84ccd9
Actions

Tags

None

Subscribers

None

Description

clarified signature, following Isabelle/a3b0fc510705;

Details

Provenance

Authored on

Parents

rAFP7bd41cfb12ad: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPe3caeb84ccd9: clarified signature, following Isabelle/a3b0fc510705;.Aug 23 2021, 2:42 PM

Changes (2)

Path

Size

thys/

Isabelle_C/

C11-FrontEnd/

src/

C_Lexer_Annotation.thy

C_Lexer_Language.thy

rAFPe3caeb84ccd9

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

Loading...

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

Loading...