Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. simplified hierarchy of type classes for bit operations
  2. obsolete
  3. more operations, notably free and bound variables as in Isabelle/Pure;
Changeset 74108:3146646a43a7 by haftmann:
simplified hierarchy of type classes for bit 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/Library/Z2.thy (diff)
The file was modified src/HOL/String.thy (diff)
Changeset 74107:2ab5dacdb1f6 by haftmann:
obsolete
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/ex/Bit_Lists.thy
Changeset 74106:4984fad0e91d by wenzelm:
more operations, notably free and bound variables as in Isabelle/Pure;
The file was modified src/Tools/Haskell/Haskell.thy (diff)