aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Arith/Factorial.v
Commit message (Expand)AuthorAge
* Mise en forme des theoriesGravatar notin2006-10-17
* compatibility with POWERPCGravatar gregoire2004-11-22
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
* Nouvelle en-tĂȘteGravatar herbelin2004-07-16
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* Noms canoniques pour les variables lieesGravatar herbelin2003-11-12
* Amelioration affichageGravatar herbelin2003-05-14
* Deplacement lemmes sur fact de Reals vers ArithGravatar herbelin2003-05-14
* Nouveaux lemmes (sur proposition de Nijmegen)Gravatar herbelin2003-05-13