aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/correctness/Arrays.v
Commit message (Expand)AuthorAge
* Nouvelle en-têteGravatar herbelin2004-07-16
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* Notation access au dessous du niveau applicatif (2eme)Gravatar herbelin2003-08-14
* Notation access au dessous du niveau applicatifGravatar herbelin2003-08-13
* * Ajout du traducteur nouvelle syntaxe *Gravatar barras2003-03-12
* Remplacement Grammar/Syntax par NotationGravatar herbelin2002-11-26
* Uniformisation (Qed/Save et Implicits Arguments)Gravatar herbelin2002-04-17
* documentation automatique de la bibliothèque standardGravatar filliatr2001-04-11
* mise en place de Correctness; vieille syntaxe Extraction viree de g_vernac.ml4Gravatar filliatr2001-04-05
* mise en place de Correctness (ne compile pas encore)Gravatar filliatr2001-03-29