index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
/
ZArith
/
Zsqrt.v
Commit message (
Expand
)
Author
Age
*
Changement dans le kernel :
bgregoir
2006-12-11
*
Mise en forme des theories
notin
2006-10-17
*
commit de field + renommages
barras
2006-09-26
*
mise a jour du nouveau ring et ajout du nouveau field, avant renommages
barras
2006-09-26
*
'match term' now evaluates by default. Added 'lazy' keyword to delay the eval...
herbelin
2004-10-11
*
Nouvelle en-tête
herbelin
2004-07-16
*
modif existentielle (exists | --> exists ,) + bug d'affichage des pt fixes
barras
2003-12-15
*
Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...
herbelin
2003-11-29
*
Compatibilite
herbelin
2003-11-22
*
Restructuration ZArith et déport de la partie sur 'positive' dans NArith, de...
herbelin
2003-11-05
*
Ajout Open Scope
herbelin
2003-04-09
*
Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import".
herbelin
2003-04-09
*
*** empty log message ***
barras
2003-03-12
*
Modifications dans une tactique toplevel
delahaye
2003-02-13
*
Adaptation à la nouvelle sémantique plus uniforme de "Match term"
herbelin
2003-01-21
*
ZArith_base, Zbool, Bool_nat
filliatr
2002-06-20
*
Adding file theories/ZArith/Zsqrt.v that contains a square root function.
bertot
2002-06-07