Diffusion Isabelle 0a6a138346da

unused (see 15758fced053);
0a6a138346da
Actions

Tags

None

Subscribers

None

Description

unused (see 15758fced053);

Details

Provenance

Authored on

Parents

rISABELLE6dc5968b9a86: clarified modules;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0a6a138346da: unused (see 15758fced053);.Sep 5 2022, 9:20 PM

Changes (1)

Path

Size

src/

Pure/

Isar/

proof_display.ML

rISABELLE0a6a138346da

src/Pure/Isar/proof_display.ML

Loading...