Diffusion Isabelle a9b20bc32fa6

localized command 'syntax' and 'no_syntax';
a9b20bc32fa6
Actions

Tags

None

Subscribers

None

Description

localized command 'syntax' and 'no_syntax';

Details

Provenance

Authored on

Parents

rISABELLE78c1699c7672: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa9b20bc32fa6: localized command 'syntax' and 'no_syntax';.Sep 20 2021, 11:15 PM

Changes (4)

Path

Size

src/

Doc/

Isar_Ref/

Inner_Syntax.thy

Pure/

Isar/

local_theory.ML

proof_context.ML

rISABELLEa9b20bc32fa6

src/Doc/Isar_Ref/Inner_Syntax.thy

Loading...

src/Pure/Isar/local_theory.ML

Loading...

src/Pure/Isar/proof_context.ML

Loading...

src/Pure/Pure.thy

Loading...