Diffusion afp-devel d4ed7c4aca73

removed obsolete "extend" operation;
d4ed7c4aca73
Actions

Tags

None

Subscribers

None

Description

removed obsolete "extend" operation;

Details

Provenance

Authored on

Parents

rAFP98ecfb2297ef: more symbolic latex_output via XML (using YXML within text);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPd4ed7c4aca73: removed obsolete "extend" operation;.Dec 6 2021, 12:19 PM

Changes (7)

Path

Size

thys/

Isabelle_C/

C11-FrontEnd/

examples/

src/

C_Lexer_Annotation.thy

C_Parser_Annotation.thy

rAFPd4ed7c4aca73

thys/Isabelle_C/C11-FrontEnd/examples/C1.thy

Loading...

thys/Isabelle_C/C11-FrontEnd/examples/C2.thy

Loading...

thys/Isabelle_C/C11-FrontEnd/examples/C3.thy

Loading...

thys/Isabelle_C/C11-FrontEnd/examples/C4.thy

Loading...

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

Loading...

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

Loading...

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

Loading...