diff options
Diffstat (limited to 'theories/Numbers/Integer/Axioms/ZDomain.v')
| -rw-r--r-- | theories/Numbers/Integer/Axioms/ZDomain.v | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/theories/Numbers/Integer/Axioms/ZDomain.v b/theories/Numbers/Integer/Axioms/ZDomain.v index 579f8facef..028128cf7a 100644 --- a/theories/Numbers/Integer/Axioms/ZDomain.v +++ b/theories/Numbers/Integer/Axioms/ZDomain.v @@ -53,3 +53,10 @@ Declare Left Step ZE_stepl. Declare Right Step (proj1 (proj2 E_equiv)). End ZDomainProperties. + + +(* + Local Variables: + tags-file-name: "~/coq/trunk/theories/Numbers/TAGS" + End: +*) |