diff options
| author | Nick Lewycky | 2018-09-22 17:29:16 -0700 |
|---|---|---|
| committer | Nick Lewycky | 2018-09-22 17:29:32 -0700 |
| commit | e186109404b665d79bf441f8d1ccee39cc76b165 (patch) | |
| tree | 4c93803554ac6cc9b2da26875650688c41874fc5 /theories/Numbers | |
| parent | 4d1de421c2df95503e4643f41903d214e0c2fb19 (diff) | |
Fix typo in comment.
Diffstat (limited to 'theories/Numbers')
| -rw-r--r-- | theories/Numbers/Cyclic/Int31/Int31.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Numbers/Cyclic/Int31/Int31.v b/theories/Numbers/Cyclic/Int31/Int31.v index ca7d3ec074..3a2503d6b7 100644 --- a/theories/Numbers/Cyclic/Int31/Int31.v +++ b/theories/Numbers/Cyclic/Int31/Int31.v @@ -19,7 +19,7 @@ Require Export DoubleType. (** This file contains basic definitions of a 31-bit integer arithmetic. In fact it is more general than that. The only reason - for this use of 31 is the underlying mecanism for hardware-efficient + for this use of 31 is the underlying mechanism for hardware-efficient computations by A. Spiwack. Apart from this, a switch to, say, 63-bit integers is now just a matter of replacing every occurrences of 31 by 63. This is actually made possible by the use of |