Diffusion Isabelle 493b1ae188da

more robust syntax;
493b1ae188da
Actions

Tags

None

Subscribers

None

Description

more robust syntax;

Details

Provenance

Authored on

Parents

rISABELLE18d80cd51823: unused;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE493b1ae188da: more robust syntax;.May 26 2021, 6:07 PM

Changes (1)

Path

Size

src/

Pure/

rISABELLE493b1ae188da

src/Pure/Pure.thy

Loading...