Diffusion Isabelle 1cc74982d038

clarified parser;
1cc74982d038
Actions

Tags

None

Subscribers

None

Description

clarified parser;

Details

Provenance

Authored on

Parents

rISABELLE83e581c9a5f1: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE1cc74982d038: clarified parser;.Nov 29 2020, 4:21 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

thy_header.scala

rISABELLE1cc74982d038

src/Pure/Thy/thy_header.scala

Loading...