Diffusion Isabelle 4556f76d216e

proper result state (amending 954640e846d6);
4556f76d216e
Actions

Tags

None

Subscribers

None

Description

proper result state (amending 954640e846d6);

Details

Provenance

Authored on

Parents

rISABELLE9783e79a37c6: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4556f76d216e: proper result state (amending 954640e846d6);.Oct 16 2022, 4:09 PM

Changes (1)

Path

Size

src/

Pure/

PIDE/

rISABELLE4556f76d216e

src/Pure/PIDE/headless.scala

Loading...