Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned
  2. clarified terminology
Changeset 77885:89676df5846a by haftmann:
tuned
The file was modified src/HOL/Tools/record.ML (diff)
Changeset 77884:0e054e6e7f5e by haftmann:
clarified terminology
The file was addedsrc/HOL/Library/Centered_Division.thy
The file was modified src/HOL/Examples/Gauss_Numbers.thy (diff)
The file was modified src/HOL/Library/Library.thy (diff)
The file was modified src/HOL/ex/Note_on_signed_division_on_words.thy (diff)
The file was removedsrc/HOL/Library/Rounded_Division.thy