Diffusion Isabelle 277ee690cb14

clarified signature -- more operations;
277ee690cb14
Actions

Tags

None

Subscribers

None

Description

clarified signature -- more operations;

Details

Provenance

Authored on

Parents

rISABELLE79232f138382: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE277ee690cb14: clarified signature -- more operations;.Dec 21 2019, 3:14 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

phabricator.scala

rISABELLE277ee690cb14

src/Pure/Tools/phabricator.scala

Loading...