Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper check wrt. distinct entry dates;
  2. added lemma
Changeset 66254:6b5684ee07d9 by wenzelm:
proper check wrt. distinct entry dates;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 66253:a0cc7ebc7751 by nipkow:
added lemma
The file was modified src/HOL/List.thy (diff)