diff options
| author |  mohring <mohring@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-04-19 13:07:42 +0000 |
|---|---|---|
| committer | mohring <mohring@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-04-19 13:07:42 +0000 |
| commit | cb9061d894d516e4607a9237813402d929384b26 (patch) | |
| tree | 13137c2d2587c29483dbee0035ae1eab20f6342b /theories/Zarith/intro.tex | |
| parent | 97271bd7c99f2a6de4b022af420f7a6050803492 (diff) | |
remplace Zarith par ZArith
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1625 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Zarith/intro.tex')
| -rwxr-xr-x | theories/Zarith/intro.tex | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/theories/Zarith/intro.tex b/theories/Zarith/intro.tex deleted file mode 100755 index 9694eaac8..000000000 --- a/theories/Zarith/intro.tex +++ /dev/null @@ -1,5 +0,0 @@ -The {\tt ZArith} library deals with binary integers (those used -by the {\tt Omega} decision tactic). -Here are defined various arithmetical notions and their properties, -similar to those of {\tt Arith}. - |