Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned
  2. derived axiom iffI as a lemma (thanks to Alexander Maletzky)
Changeset 66894:c08d7349774e by nipkow:
tuned
The file was modified src/HOL/ZF/Games.thy (diff)
Changeset 66893:ced164fe3bbd by nipkow:
derived axiom iffI as a lemma (thanks to Alexander Maletzky)
The file was modified CONTRIBUTORS (diff)
The file was modified src/HOL/HOL.thy (diff)
The file was modified src/HOL/document/root.bib (diff)