Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. reduced prominence of lemma names
  2. new formulation of an auxiliary lemma
Changeset 78669:18ea58bdcf77 by haftmann:
reduced prominence of lemma names
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/Real.thy (diff)
Changeset 78668:d52934f126d4 by haftmann:
new formulation of an auxiliary lemma
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Euclidean_Rings.thy (diff)
The file was modified src/HOL/Number_Theory/Pocklington.thy (diff)
The file was modified src/HOL/Parity.thy (diff)