global interpretation into nested targets
9447668d1b77
Actions

Description

global interpretation into nested targets

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (9)

Path

Size

Doc/

Isar_Ref/

Library/

Pure/

Isar/

rISABELLE9447668d1b77

NEWS

src/Doc/Isar_Ref/Spec.thy

src/HOL/Library/Lexord.thy

src/HOL/ex/Interpretation_in_nested_targets.thy

src/Pure/Isar/generic_target.ML

src/Pure/Isar/local_theory.ML

global interpretation into nested targets9447668d1b77Actions

Description

Details

Changes (9)

rISABELLE9447668d1b77

NEWS

src/Doc/Isar_Ref/Spec.thy

src/HOL/Library/Lexord.thy

src/HOL/ex/Interpretation_in_nested_targets.thy

src/Pure/Isar/generic_target.ML

src/Pure/Isar/local_theory.ML

global interpretation into nested targets
9447668d1b77
Actions