Diffusion Isabelle 76dd79530650

proper markup type (amending be49c660ebbf);
76dd79530650
Actions

Tags

None

Subscribers

None

Description

proper markup type (amending be49c660ebbf);

Details

Provenance

Authored on

Parents

rISABELLE376571db0eda: merged;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE76dd79530650: proper markup type (amending be49c660ebbf);.Nov 3 2021, 8:45 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE76dd79530650

src/Pure/General/position.scala

Loading...