Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- more operations;
- clarified signature;
- clarified signature;
- organize syntax for word operations in bundles
The file was modified | src/Tools/Haskell/Haskell.thy |
The file was modified | src/Tools/Haskell/Haskell.thy |
The file was modified | src/Tools/Haskell/Haskell.thy |
The file was modified | NEWS |
The file was modified | src/HOL/Library/Bit_Operations.thy |
The file was modified | src/HOL/Library/Tools/smt_word.ML |
The file was modified | src/HOL/Library/Word.thy |
The file was modified | src/HOL/Library/Z2.thy |
The file was modified | src/HOL/SMT_Examples/SMT_Word_Examples.thy |
The file was modified | src/HOL/SPARK/Examples/RIPEMD-160/RMD.thy |
The file was modified | src/HOL/SPARK/Manual/Reference.thy |
The file was modified | src/HOL/SPARK/SPARK.thy |
The file was modified | src/HOL/ex/Bit_Lists.thy |
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- organize syntax for word operations in bundles