clarified signature: more detailed token positions for antiquotations;
a2c589d5e1e4
Actions

Description

clarified signature: more detailed token positions for antiquotations;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

src/

Pure/

Isar/

ML/

rISABELLEa2c589d5e1e4

src/Pure/Isar/isar_cmd.ML

src/Pure/ML/ml_antiquotation.ML

src/Pure/ML/ml_context.ML

src/Pure/ML/ml_lex.ML

clarified signature: more detailed token positions for antiquotations;a2c589d5e1e4Actions

Description

Details

Changes (5)

rISABELLEa2c589d5e1e4

src/Pure/Isar/isar_cmd.ML

src/Pure/ML/ml_antiquotation.ML

src/Pure/ML/ml_context.ML

src/Pure/ML/ml_lex.ML

src/Pure/ML/ml_thms.ML

clarified signature: more detailed token positions for antiquotations;
a2c589d5e1e4
Actions