Diffusion Isabelle a10161fbc6de

proper orientation for right-associative operations;
a10161fbc6de
Actions

Tags

None

Subscribers

None

Description

proper orientation for right-associative operations;

Details

Provenance

Authored on

Parents

rISABELLE86217697863c: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa10161fbc6de: proper orientation for right-associative operations;.Feb 6 2023, 9:31 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLEa10161fbc6de

src/Pure/Thy/bibtex.scala

Loading...