Diffusion Isabelle add9a9f6a290

explicit graph for chains, which contains all nts as nodes;
add9a9f6a290
Actions

Tags

None

Subscribers

None

Description

explicit graph for chains, which contains all nts as nodes;

Details

Provenance

Authored on

Parents

rISABELLE656720e8f443: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLE53fcbede7bf7: more robust (amending add9a9f6a290): proper syntax error instead of exception….Feb 24 2020, 10:34 PM

Changes (1)

Path

Size

src/

Pure/

Syntax/

rISABELLEadd9a9f6a290

src/Pure/Syntax/parser.ML

Loading...