Diffusion Isabelle d298da61655a

clarified signature --- more operations;
d298da61655a
Actions

Tags

None

Subscribers

None

Description

clarified signature --- more operations;

Details

Provenance

Authored on

Parents

rISABELLEad00fbf64bff: clarified signature --- simplified types;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd298da61655a: clarified signature --- more operations;.Aug 12 2022, 4:58 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

document_build.scala

rISABELLEd298da61655a

src/Pure/Thy/document_build.scala

Loading...