Diffusion Isabelle 4d615ec4b6b1

unused (see also 7b318273a4aa);
4d615ec4b6b1
Actions

Tags

None

Subscribers

None

Description

unused (see also 7b318273a4aa);

Details

Provenance

Authored on

Parents

rISABELLEc17d0227205c: tuned proofs;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4d615ec4b6b1: unused (see also 7b318273a4aa);.Sep 1 2020, 5:51 PM

Changes (1)

Path

Size

src/

Pure/

PIDE/

rISABELLE4d615ec4b6b1

src/Pure/PIDE/protocol.scala

Loading...