Diffusion Isabelle 09479be1fe2a

clarified name
09479be1fe2a
Actions

Tags

None

Subscribers

None

Description

clarified name

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE74339f1a5dd7: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE09479be1fe2a: clarified name.Dec 18 2020, 11:37 AM

Changes (4)

Path

Size

src/

Pure/

Isar/

local_theory.ML

named_target.ML

target_context.ML

rISABELLE09479be1fe2a

src/Pure/Isar/local_theory.ML

Loading...

src/Pure/Isar/locale.ML

Loading...

src/Pure/Isar/named_target.ML

Loading...

src/Pure/Isar/target_context.ML

Loading...