Diffusion Isabelle 081fdd53003a

more brackets (see 2e8af171887f);
081fdd53003a
Actions

Tags

None

Subscribers

None

Description

more brackets (see 2e8af171887f);

Details

Provenance

Authored on

Parents

rISABELLE3882df6a4a93: tuned message;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE081fdd53003a: more brackets (see 2e8af171887f);.May 23 2020, 10:58 AM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE081fdd53003a

src/Pure/General/word.scala

Loading...