index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
/
romega
/
ReflOmegaCore.v
Commit message (
Expand
)
Author
Age
*
Ajout de quelques Arguments Scope pour simuler la récursivité du scope rome...
herbelin
2006-07-11
*
correctifs de bug pour romega:
letouzey
2006-03-23
*
Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...
herbelin
2005-12-26
*
Traduction des noms v7 de Z en noms v8
herbelin
2005-12-25
*
- changement ordre arguments interp_goal_concl pour permettre application
herbelin
2005-02-21
*
adaptation V8 version Pierre Cregut
mohring
2004-03-03
*
Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...
herbelin
2003-11-29
*
Renommage canonique d'un lemme redondant
herbelin
2003-11-05
*
Renommage canonique d'un lemme redondant
herbelin
2003-11-05
*
*** empty log message ***
barras
2003-03-12
*
MAJ
herbelin
2003-01-22
*
Simplification de Simplify (plus de ())
herbelin
2003-01-19
*
Remplacement de Syntactic Definition par Notation
herbelin
2002-11-24
*
Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...
herbelin
2002-10-13
*
ZArith_base, Zbool, Bool_nat
filliatr
2002-06-20
*
Romega
mohring
2001-09-20
*
Romega/names/Makefile
mohring
2001-09-18