Diffusion Isabelle c066335efd2e

clarified signature;
c066335efd2e
Actions

Tags

None

Subscribers

None

Description

clarified signature;

Details

Provenance

Authored on

Parents

rISABELLE02738f4333ee: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc066335efd2e: clarified signature;.Jan 20 2023, 9:28 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLEc066335efd2e

src/Pure/Thy/bibtex.scala

Loading...