diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2006-08-25 18:26:13 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2006-08-25 18:26:13 +0000 |
| commit | b8d706feeb2085cee94c636328e0abbc5d5f8c9a (patch) | |
| tree | e956fb84c20d674f3b99bfed02d78f433bd390a1 /coq | |
| parent | a61c1545988178450f2d6188835e26ab7ea37501 (diff) | |
fixes again in syntax databases.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-syntax.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 30a74f38..86e313b6 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -227,7 +227,7 @@ so for the following reasons: ("set in |- *" "setg" "set ( # := #) in |- *" t) ("set in" "seti" "set ( # := #) in #" t) ("set" "set" "set ( # := #)" t "set") - ("setoid_replace with" "strep" "setoid_replace # with #" t "setoid_replace") + ("setoid_replace with" "strep2" "setoid_replace # with #" t "setoid_replace") ("setoid replace with" "strep" "setoid replace # with #" t "setoid\\s-+replace") ("setoid_rewrite" "strew" "setoid_rewrite #" t "setoid_rewrite") ("setoid rewrite" "strew" "setoid rewrite #" t "setoid\\s-+rewrite") @@ -247,11 +247,11 @@ so for the following reasons: ("stepr by" "strb" "stepr # by #" t) ("subst" "su" "subst #" t "subst") ("symmetry" "sy" "symmetry" t "symmetry") - ("symmetry in" "sy" "symmetry in #" t) + ("symmetry in" "syi" "symmetry in #" t) ("tauto" "ta" "tauto" t "tauto") ("transitivity" "trans" "transitivity #" t "transitivity") ("trivial" "t" "trivial" t "trivial") - ("trivial with" "t" "trivial with @{db}" t) + ("trivial with" "tw" "trivial with @{db}" t) ("unfold" "u" "unfold #" t "unfold") ("unfold(s)" "us" "unfold # , #" t) ("unfold in" "unfi" "unfold # in #" t) |