Diffusion Isabelle b60c4ba462d4

tuned (see also b5333fc056da);
b60c4ba462d4
Actions

Tags

None

Subscribers

None

Description

tuned (see also b5333fc056da);

Details

Provenance

Authored on

Parents

rISABELLE83b114a6545f: A few more simprules for iff-reasoning

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb60c4ba462d4: tuned (see also b5333fc056da);.Dec 27 2020, 1:16 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_history.scala

rISABELLEb60c4ba462d4

src/Pure/Admin/build_history.scala

Loading...