Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more informative error; tuned;
  2. added lemmas
Changeset 73140:68f0bd0c8e87 by wenzelm:
more informative error;<br>tuned;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 73139:be9b73dfd3e0 by nipkow:
added lemmas
The file was modified src/HOL/Equiv_Relations.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)