Diffusion Isabelle 93b50b9e3494

clarified checks (see f34f5c057c9e);
93b50b9e3494
Actions

Tags

None

Subscribers

None

Description

clarified checks (see f34f5c057c9e);

Details

Provenance

Authored on

Parents

rISABELLEa9ef39041114: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE93b50b9e3494: clarified checks (see f34f5c057c9e);.Nov 29 2020, 3:23 PM

Changes (2)

Path

Size

src/

Pure/

PIDE/

resources.scala

Thy/

thy_header.scala

rISABELLE93b50b9e3494

src/Pure/PIDE/resources.scala

Loading...

src/Pure/Thy/thy_header.scala

Loading...