index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
/
Init
/
Logic_Type.v
Commit message (
Expand
)
Author
Age
*
- Déplacement des types paramétriques prod, sum, option, identity,
herbelin
2006-05-28
*
Modification des propriétés (svn:executable)
notin
2006-03-17
*
Documentation
herbelin
2005-05-19
*
Nouvelle en-tête
herbelin
2004-07-16
*
Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...
herbelin
2003-11-29
*
Suppression de definitions equivalentes
herbelin
2003-10-10
*
Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...
herbelin
2003-09-23
*
'only parsing' pour le passage de trucT a truc
herbelin
2003-05-27
*
Concentration des notations officielles dans Init/Notations; restructuration ...
herbelin
2003-05-21
*
Activation des implicites pour la v8
herbelin
2003-04-09
*
Suppression des alias eqT/exT/exT2 en nouvelle syntaxe
herbelin
2003-03-31
*
eq fusionne avec eqT et devient par défaut sur Type,
herbelin
2003-03-29
*
Généralisation de l'utilisation de Notation
herbelin
2002-11-24
*
petite erreur de syntaxe
barras
2002-05-14
*
ajout des theoremes eqT_rec_r et eqT_rect_r pour Rewrite
barras
2002-05-14
*
option -dump-glob pour coqdoc
filliatr
2002-02-14
*
MAJ des Id pour coqweb
herbelin
2002-01-09
*
Suppression de Logic_Type.sigT, redondant avec Specif.sigT
herbelin
2001-10-24
*
Modification pour passage p-automates
mohring
2001-05-15
*
documentation automatique de la bibliothèque standard
filliatr
2001-04-11
*
entetes
filliatr
2001-03-15
*
Modification de la table des tactic Definitions pour eviter l'ecriture
mohring
2000-11-07
*
fichiers prelude Coq
filliatr
1999-12-13