coq - The formal proof system

Age	Commit message (Expand)	Author
2002-12-15	Ajout syntaxe '>'	herbelin
2002-11-24	Généralisation de l'utilisation de Notation	herbelin
2002-11-20	Les parenthèses de la notation '(n)' maintemant mises par ML pour un meilleu...	herbelin
2002-11-07	Un hack camlp4 qui marche à tous les coups pour continuer à parser '(n)' co...	herbelin
2002-10-23	Re-déplacement de sum/sumor/sumbool et prod au niveaux 4 et 3 pour	herbelin
2002-10-21	Prise en compte des délimiteurs dans les motifs de Cases	herbelin
2002-10-18	Et 48, et 80, et 81, et 91, et 95, ... pour accommoder toujours plus de contribs	herbelin
2002-10-17	Parsing des entiers de nat jusqu'à 29 pour accommoder certaines contribs	herbelin
2002-10-14	La règle pour parser "(1)", "(2)", ... entre en conflit avec les expressions	herbelin
2002-10-13	Mise en place d'ensembles de notations symboliques pour nat, Z et R	herbelin