Diffusion Isabelle ad00fbf64bff

clarified signature --- simplified types;
ad00fbf64bff
Actions

Tags

None

Subscribers

None

Description

clarified signature --- simplified types;

Details

Provenance

Authored on

Parents

rISABELLEa2b2e8964e1a: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEad00fbf64bff: clarified signature --- simplified types;.Aug 12 2022, 4:08 PM

Changes (4)

Path

Size

src/

Pure/

General/

System/

classpath.scala

Thy/

document_build.scala

rISABELLEad00fbf64bff

src/Pure/General/file.scala

Loading...

src/Pure/System/classpath.scala

Loading...

src/Pure/Thy/document_build.scala

Loading...

src/Pure/Thy/export.scala

Loading...