coq - The formal proof system

Age	Commit message (Expand)	Author
2003-01-22	maj	filliatr
2003-01-22	Extraction des modules, enfin !	letouzey
2003-01-21	Binome.v -> Binomial.v	desmettr
2003-01-21	maj	filliatr
2003-01-20	maj	filliatr
2003-01-18	maj	filliatr
2003-01-17	maj	filliatr
2003-01-16	Renommage de RealsB en Rbase	desmettr
2003-01-16	maj	filliatr
2003-01-10	maj	filliatr
2003-01-08	maj	filliatr
2003-01-07	maj	filliatr
2003-01-06	bit vectors	filliatr
2002-12-23	maj	filliatr
2002-12-21	maj	filliatr
2002-12-20	maj	filliatr
2002-12-19	maj	filliatr
2002-12-18	maj	filliatr
2002-12-16	maj	filliatr
2002-12-14	maj	filliatr
2002-12-13	maj	filliatr
2002-12-12	Ajout du vernac Proof with	gregoire
2002-12-12	maj	filliatr
2002-12-11	maj	filliatr
2002-12-10	maj	filliatr
2002-12-09	Corrections de gestion des univers et modules + meilleure gestions des noms...	coq
2002-12-09	chamboulement du codage des indcutifs extraits; deplacements des tables; ...	letouzey
2002-12-06	maj	filliatr
2002-12-04	maj	filliatr
2002-12-03	maj	filliatr
2002-11-30	maj	filliatr
2002-11-29	maj	filliatr
2002-11-28	maj	filliatr
2002-11-27	Réorganisation de la librairie des réels	desmettr
2002-11-27	maj	filliatr
2002-11-26	Option pour compiler une version 'light' des réels	desmettr
2002-11-26	MAJ	herbelin
2002-11-26	maj	filliatr
2002-11-25	maj	filliatr
2002-11-24	Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...	herbelin
2002-11-18	maj	filliatr
2002-11-16	maj	filliatr
2002-11-15	maj apres reparation d'un bug coqdep	letouzey
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-11-14	maj	filliatr
2002-11-08	maj	filliatr
2002-11-06	maj	filliatr
2002-11-05	Intégration des modifs de la branche mowgli :	herbelin
2002-11-01	maj	filliatr
2002-10-31	maj	filliatr