aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Logic/ClassicalFacts.v
Commit message (Expand)AuthorAge
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Fix the stdlib doc compilation + switch all .v file to utf8Gravatar letouzey2009-09-28
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - Export de pattern_ident vers les ARGUMENT EXTEND and co.Gravatar herbelin2008-10-19
* Autour du parsing:Gravatar herbelin2008-07-15
* Ajout infos de débogage de "universe inconsistency" quand option SetGravatar herbelin2007-09-30
* TyposGravatar herbelin2007-03-15
* Mise en forme des theoriesGravatar notin2006-10-17
* Ajout exists! et restructuration/extension des fichiers sur laGravatar herbelin2006-06-04
* Modularisation des preuves concernant la logique classique, l'indiscernabilit...Gravatar herbelin2006-03-05
* Ajout étude IP généralisé, Gödel-Dummett, buveurGravatar herbelin2006-03-05
* Réponse à la conjecture que PI est indépendant de EM dans CCGravatar herbelin2004-11-02
* Nouvelle en-têteGravatar herbelin2004-07-16
* CommentairesGravatar herbelin2004-03-17
* changement de pose en set (pose n'etait pas utilise avec la semantiqueGravatar barras2003-12-24
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* Biblio standard sans mention de la possibilite d'etre impredicatifGravatar herbelin2003-11-07
* Renommage bool en boolP pour eviter la qualificationGravatar herbelin2003-11-02
* Preuves dans CC deGravatar herbelin2002-08-13