Diffusion Isabelle 944d4d616ca0

clarified corner cases of syntax;
944d4d616ca0
Actions

Tags

None

Subscribers

None

Description

clarified corner cases of syntax;

Details

Provenance

Authored on

Parents

rISABELLE89c7f74b5ae1: clarified Parse.embedded_ml: follow documentation (8baf2e8b16e2);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE944d4d616ca0: clarified corner cases of syntax;.Dec 5 2021, 12:50 PM

Changes (2)

Path

Size

src/

Doc/

Implementation/

Pure/

ML/

ml_antiquotations.ML

rISABELLE944d4d616ca0

src/Doc/Implementation/Logic.thy

Loading...

src/Pure/ML/ml_antiquotations.ML

Loading...