Diffusion Isabelle fe1d22487427

clarified author names;
fe1d22487427
Actions

Tags

None

Subscribers

None

Description

clarified author names;

Details

Provenance

Authored on

Parents

rISABELLEd4d3dec0970a: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfe1d22487427: clarified author names;.Dec 15 2021, 12:41 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLEfe1d22487427

src/Pure/General/mailman.scala

Loading...