Diffusion Isabelle 2fee5fba3116

proper default for disjunction (amending 9f7a94117666);
2fee5fba3116
Actions

Tags

None

Subscribers

None

Description

proper default for disjunction (amending 9f7a94117666);

Details

Provenance

Authored on

Parents

rISABELLEe495f910dd94: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2fee5fba3116: proper default for disjunction (amending 9f7a94117666);.Wed, Nov 8, 8:31 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_log.scala

rISABELLE2fee5fba3116

src/Pure/Admin/build_log.scala

Loading...