Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. removed some lemma duplicates
  2. typo
  3. more appropriate notion of emptiness
Changeset 68100:b2d84b1114fa by haftmann:
removed some lemma duplicates
The file was modified NEWS (diff)
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Groebner_Basis.thy (diff)
The file was modified src/HOL/Presburger.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 68099:305f9f3edf05 by haftmann:
typo
The file was modified src/HOL/Tools/string_syntax.ML (diff)
Changeset 68098:e2bb1d95cbd0 by haftmann:
more appropriate notion of emptiness
The file was modified src/Pure/Isar/class.ML (diff)