Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned order between theories
Changeset 71095:038727567817 by haftmann:
tuned order between theories
The file was modified src/HOL/ex/Bit_Lists.thy (diff)
The file was modified src/HOL/ex/Bit_Operations.thy (diff)
The file was modified src/HOL/ex/Word.thy (diff)