aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/PArith/intro.tex
blob: ffce881edb0ca2084a7d07be9f2f03c286c5bebd (plain)
1
2
3
4
\section{Binary positive integers : PArith}\label{PArith}

Here are defined various arithmetical notions and their properties,
similar to those of {\tt Arith}.