Diffusion Isabelle 2da5562114c5

clarified signature: more uniform operations;
2da5562114c5
Actions

Tags

None

Subscribers

None

Description

clarified signature: more uniform operations;

Details

Provenance

Authored on

Parents

rISABELLE9d9b30741fc4: tuned signature: reduce boilerplate;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2da5562114c5: clarified signature: more uniform operations;.Mar 6 2023, 3:48 PM

Changes (3)

Path

Size

src/

Pure/

General/

Thy/

rISABELLE2da5562114c5

src/Pure/General/sql.scala

Loading...

src/Pure/Thy/export.scala

Loading...

src/Pure/Thy/sessions.scala

Loading...