Diffusion Isabelle dad29591645a

proper arguments of protocol function;
dad29591645a
Actions

Tags

None

Subscribers

None

Description

proper arguments of protocol function;

Details

Provenance

Authored on

Parents

rISABELLE0aef1812ae3a: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdad29591645a: proper arguments of protocol function;.Apr 2 2020, 12:19 PM

Changes (1)

Path

Size

src/

Pure/

PIDE/

rISABELLEdad29591645a

src/Pure/PIDE/session.scala

Loading...