Diffusion Isabelle 9107e103754c

clarified signature;
9107e103754c
Actions

Tags

None

Subscribers

None

Description

clarified signature;

Details

Provenance

Authored on

Parents

rISABELLEf016a8d99fc9: more complete index;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9107e103754c: clarified signature;.Thu, Jan 19, 11:46 AM

Changes (3)

Path

Size

src/

Pure/

Thy/

Tools/

rISABELLE9107e103754c

src/Pure/Thy/bibtex.scala

Loading...

src/Pure/Thy/latex.scala

Loading...

src/Pure/Tools/update.scala

Loading...