diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-06-10 16:23:35 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-06-10 16:23:35 -0400 |
| commit | ecf5f6fc0d3107eeb8566f56037f28d888a53a1a (patch) | |
| tree | 4525dfb21a67b60ad4597744e234e54387021e21 /Bedrock | |
| parent | 8d4f4adf80c7fdaa8021b283526ab1592ee13600 (diff) | |
Set Asymmetric Patterns
Diffstat (limited to 'Bedrock')
| -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 |