Diffusion Isabelle df8d71edbc79

clarified signature, using right-associative operation;
df8d71edbc79
Actions

Tags

None

Subscribers

None

Description

clarified signature, using right-associative operation;

Details

Provenance

Authored on

Parents

rISABELLE05a4ce3f6b0c: tuned whitespace;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdf8d71edbc79: clarified signature, using right-associative operation;.Feb 6 2023, 4:04 PM

Changes (3)

Path

Size

src/

Pure/

General/

Thy/

document_build.scala

rISABELLEdf8d71edbc79

src/Pure/General/sha1.scala

Loading...

src/Pure/Thy/document_build.scala

Loading...

src/Pure/Thy/sessions.scala

Loading...