clarified names: discontinue odd convention from 3 decades ago;
951c371c1cd9
Actions

Description

clarified names: discontinue odd convention from 3 decades ago;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

src/

Pure/

Build/

Isar/

Syntax/

rISABELLE951c371c1cd9

src/Pure/Build/export_theory.ML

src/Pure/Isar/proof_context.ML

src/Pure/Syntax/local_syntax.ML

src/Pure/Syntax/syntax_phases.ML

src/Pure/sign.ML

clarified names: discontinue odd convention from 3 decades ago;951c371c1cd9Actions

Description

Details

Changes (6)

rISABELLE951c371c1cd9

src/Pure/Build/export_theory.ML

src/Pure/Isar/proof_context.ML

src/Pure/Syntax/local_syntax.ML

src/Pure/Syntax/syntax_phases.ML

src/Pure/sign.ML

src/Pure/theory.ML

clarified names: discontinue odd convention from 3 decades ago;
951c371c1cd9
Actions