Diffusion Isabelle 6504e9b09926

clarified signature: more privacy;
6504e9b09926
Actions

Tags

None

Subscribers

None

Description

clarified signature: more privacy;

Details

Provenance

Authored on

Parents

rISABELLE5fca489a6ac1: tuned output --- less redundancy;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6504e9b09926: clarified signature: more privacy;.Nov 13 2021, 7:47 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLE6504e9b09926

src/Pure/Thy/latex.ML

Loading...