diff options
Diffstat (limited to 'Bedrock/Nomega.v')
| -rw-r--r-- | Bedrock/Nomega.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Bedrock/Nomega.v b/Bedrock/Nomega.v index 2535cd217..5f39f832f 100644 --- a/Bedrock/Nomega.v +++ b/Bedrock/Nomega.v @@ -2,6 +2,8 @@ Require Import Coq.Arith.Arith Coq.omega.Omega Coq.NArith.NArith. +Global Set Asymmetric Patterns. + Local Open Scope N_scope. Hint Rewrite Nplus_0_r nat_of_Nsucc nat_of_Nplus nat_of_Nminus |