Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. generalized more lemmas
  2. tuned
  3. tuned and generalized
  4. tuned
Changeset 67087:733017b19de9 by haftmann:
generalized more lemmas
The file was modified src/HOL/Euclidean_Division.thy (diff)
The file was modified src/HOL/Number_Theory/Cong.thy (diff)
Changeset 67086:59d07a95be0e by haftmann:
tuned
The file was modified src/HOL/Number_Theory/Cong.thy (diff)
Changeset 67085:f5d7f37b4143 by haftmann:
tuned and generalized
The file was modified src/HOL/Number_Theory/Cong.thy (diff)
Changeset 67084:e138d96ed083 by haftmann:
tuned
The file was modified src/HOL/Rings.thy (diff)