Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. temporarily revert change which does not work as expected
  2. more rules
Changeset 71803:14914ae80f70 by haftmann:
temporarily revert change which does not work as expected
The file was modified src/Tools/Code/code_ml.ML (diff)
Changeset 71802:ab3cecb836b5 by haftmann:
more rules
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/ex/Bit_Operations.thy (diff)