Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. slightly less technical formulation of very specific type class
  2. weakened dependency
  3. explicit type class for discrete linordered semidoms
Changeset 78937:5e6b195eee83 by haftmann:
slightly less technical formulation of very specific type class
The file was modified NEWS (diff)
The file was modified src/HOL/Archimedean_Field.thy (diff)
The file was modified src/HOL/Bit_Operations.thy (diff)
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/Real_Asymp/Multiseries_Expansion.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
Changeset 78936:ddf255a4ccc3 by haftmann:
weakened dependency
The file was modified src/HOL/SMT.thy (diff)
Changeset 78935:5e788ff7a489 by haftmann:
explicit type class for discrete linordered semidoms
The file was modified NEWS (diff)
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Groups_List.thy (diff)
The file was modified src/HOL/Int.thy (diff)
The file was modified src/HOL/Nat.thy (diff)
The file was modified src/HOL/Rings.thy (diff)