diff options
Diffstat (limited to 'theories/ZArith/Zhints.v')
| -rw-r--r-- | theories/ZArith/Zhints.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/theories/ZArith/Zhints.v b/theories/ZArith/Zhints.v index 19f71b3221..27e8fd5c2b 100644 --- a/theories/ZArith/Zhints.v +++ b/theories/ZArith/Zhints.v @@ -8,8 +8,8 @@ (*i $Id$ i*) -(* This file centralizes the lemmas about Z, classifying them *) -(* according to the way they can be used in automatic search *) +(** This file centralizes the lemmas about [Z], classifying them + according to the way they can be used in automatic search *) (*i*) |