Diffusion Isabelle 71a447e4073b

clarified properties: avoid empty entry;
71a447e4073b
Actions

Tags

None

Subscribers

None

Description

clarified properties: avoid empty entry;

Details

Provenance

Authored on

Parents

rISABELLE275c43a89887: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE71a447e4073b: clarified properties: avoid empty entry;.Nov 12 2021, 1:02 PM

Changes (2)

Path

Size

src/

Pure/

General/

Thy/

presentation.scala

rISABELLE71a447e4073b

src/Pure/General/name_space.ML

Loading...

src/Pure/Thy/presentation.scala

Loading...