Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. add approximation factors in build schedule to estimate build times more conservatively;
  2. merged
  3. Type class patch suggested by Achim Brucker, plus tidied lemma
  4. rearranged and reformulated abstract classes for bit structures and operations
Changeset 79534:1dcc97227442 by fabian huch _huch@in.tum.de_:
add approximation factors in build schedule to estimate build times more conservatively;
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79533:355dc6d420b9 by paulson:
merged
Changeset 79532:bb5d036f3523 by paulson _lp15@cam.ac.uk_:
Type class patch suggested by Achim Brucker, plus tidied lemma
The file was modified src/HOL/Analysis/Convex.thy (diff)
The file was modified src/HOL/Library/Interval.thy (diff)
Changeset 79531:22a137a6de44 by haftmann:
rearranged and reformulated abstract classes for bit structures and operations
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/Library/Word.thy (diff)
The file was modified src/HOL/Parity.thy (diff)