Diffusion Isabelle 0274d442b7ea

proper local context
0274d442b7ea
Actions

Tags

None

Subscribers

None

Description

proper local context

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE90652c0ef969: shasum for project meta-info;

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE0274d442b7ea: proper local context.Jul 12 2021, 1:41 PM

Changes (2)

Path

Size

src/

HOL/

Library/

Pure/

Isar/

rISABELLE0274d442b7ea

src/HOL/Library/RBT_Set.thy

Loading...

src/Pure/Isar/code.ML

Loading...