index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
/
Arith
Commit message (
Expand
)
Author
Age
*
Ajout d'un parseur d'entiers sous forme de pattern
herbelin
2001-01-19
*
Oublié de supprimer du code mort
herbelin
2000-12-20
*
Rétablissement de l'ancien comportement de Simpl sauf dans le cas mutuel ind...
herbelin
2000-12-20
*
Elimination du '
delahaye
2000-11-28
*
Modification de la table des tactic Definitions pour eviter l'ecriture
mohring
2000-11-07
*
Plus besoin de rajouter "Require Plus"
herbelin
2000-11-05
*
Passage command -> constr
herbelin
2000-10-27
*
g_natsyntax et g_zsyntax maintenant toujours linkes
filliatr
2000-10-27
*
Commit malencontreux sur précédente version
herbelin
2000-10-04
*
Mise en conformité nouveau Simpl pour Fix
herbelin
2000-10-04
*
Require Plus ajoute
filliatr
2000-06-21
*
Changement nommage des hypothèses; parenthèses pour les tactiques
herbelin
2000-05-22
*
Parenthèses
herbelin
2000-05-22
*
parethèses de tactiques
herbelin
2000-05-18
*
suppression doublon
filliatr
2000-04-26
*
g_natsyntax.ml
filliatr
2000-03-18
*
mise sous CVS du repertoire theories/Arith
filliatr
2000-03-10