Diffusion Isabelle a4380a2d6d2c

tuned signature: avoid aliases;
a4380a2d6d2c
Actions

Tags

None

Subscribers

None

Description

tuned signature: avoid aliases;

Details

Provenance

Authored on

Parents

rISABELLEdaf13aec9f04: tuned message;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa4380a2d6d2c: tuned signature: avoid aliases;.Jan 22 2023, 10:26 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

build_history.scala

other_isabelle.scala

rISABELLEa4380a2d6d2c

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/other_isabelle.scala

Loading...