changeset 55210 | d1e3b708d74b |
parent 54854 | 3324a0078636 |
child 61799 | 4cf66f21b764 |
55209:bfafffd5421d | 55210:d1e3b708d74b |
---|---|
1 (* Title: HOL/SPARK/SPARK.thy |
1 (* Title: HOL/Word/Bit_Comparison.thy |
2 Author: Stefan Berghofer |
2 Author: Stefan Berghofer |
3 Copyright: secunet Security Networks AG |
3 Copyright: secunet Security Networks AG |
4 |
4 |
5 Comparison on bit operations on integers. |
5 Comparison on bit operations on integers. |
6 *) |
6 *) |