Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more operations;
  2. clarified signature;
  3. clarified signature;
  4. organize syntax for word operations in bundles
Changeset 74100:fb9c119e5b49 by wenzelm:
more operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74099:0bda15b1b937 by wenzelm:
clarified signature;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74098:5aaccec7c1a1 by wenzelm:
clarified signature;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74097:6d7be1227d02 by haftmann:
organize syntax for word operations in bundles
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Bit_Operations.thy (diff)
The file was modified src/HOL/Library/Tools/smt_word.ML (diff)
The file was modified src/HOL/Library/Word.thy (diff)
The file was modified src/HOL/Library/Z2.thy (diff)
The file was modified src/HOL/SMT_Examples/SMT_Word_Examples.thy (diff)
The file was modified src/HOL/SPARK/Examples/RIPEMD-160/RMD.thy (diff)
The file was modified src/HOL/SPARK/Manual/Reference.thy (diff)
The file was modified src/HOL/SPARK/SPARK.thy (diff)
The file was modified src/HOL/ex/Bit_Lists.thy (diff)