Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned whitespace;
  2. use less memory on old hardware;
  3. clarified signature;
  4. clarified log message (more uniform);
  5. misc lemma tuning
  6. explicit proofs for bit projections
Changeset 71995:cb7ddc321f52 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 71994:bbec0acf2592 by wenzelm:
use less memory on old hardware;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 71993:088e3aa85250 by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 71992:c8c3f4f0f68b by wenzelm:
clarified log message (more uniform);
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71991:8bff286878bf by haftmann:
misc lemma tuning
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Library/Bit_Operations.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Num.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/Word/Ancient_Numeral.thy (diff)
The file was modified src/HOL/Word/Bits_Int.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
The file was modified src/HOL/ex/Word.thy (diff)
Changeset 71990:66beb9d92e43 by haftmann:
explicit proofs for bit projections
The file was modified src/HOL/Word/Word.thy (diff)