Diffusion Isabelle 76c9fcf80f96

clarified lines (again);
76c9fcf80f96
Actions

Tags

None

Subscribers

None

Description

clarified lines (again);

Details

Provenance

Authored on

Parents

rISABELLE440546ea20e6: clarified modules;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE76c9fcf80f96: clarified lines (again);.Feb 21 2021, 12:49 AM

Changes (2)

Path

Size

src/

Pure/

System/

rISABELLE76c9fcf80f96

src/Pure/ROOT.ML

Loading...

src/Pure/System/bash.scala

Loading...