Diffusion Isabelle 837b86b214d3

prefer formal name;
837b86b214d3
Actions

Tags

None

Subscribers

None

Description

prefer formal name;

Details

Provenance

Authored on

Parents

rISABELLE2b41b710f6ef: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE837b86b214d3: prefer formal name;.Aug 15 2020, 1:36 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

print_operation.scala

rISABELLE837b86b214d3

src/Pure/Tools/print_operation.scala

Loading...