diff options
| author | emakarov | 2007-11-03 19:20:51 +0000 |
|---|---|---|
| committer | emakarov | 2007-11-03 19:20:51 +0000 |
| commit | e38fc39f64d8af81fc237889329953bfafa29422 (patch) | |
| tree | da8c6f96671bb1d387b9267827b300e153250675 /theories/Numbers/QRewrite.v | |
| parent | 4e6e719d23b9cfc0e9d21cce065c795c1037bccb (diff) | |
An update of theories/Numbers
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10285 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Numbers/QRewrite.v')
| -rw-r--r-- | theories/Numbers/QRewrite.v | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/theories/Numbers/QRewrite.v b/theories/Numbers/QRewrite.v index e41052f95d..439fc6847c 100644 --- a/theories/Numbers/QRewrite.v +++ b/theories/Numbers/QRewrite.v @@ -181,8 +181,3 @@ end. ra (eqcons H0 (eqcons H1 eqnil)).*) -(* - Local Variables: - tags-file-name: "~/coq/trunk/theories/Numbers/TAGS" - End: -*) |