index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
pretyping
/
evarutil.ml
Commit message (
Expand
)
Author
Age
*
Renommage AppL en App
herbelin
2000-10-01
*
renommage map_constr_with_named_binders
herbelin
2000-10-01
*
Abstraction de constr
herbelin
2000-09-14
*
Modification mkAppL; abstraction via kind_of_term; changement dans Reduction
herbelin
2000-09-12
*
Correction pour make doc
herbelin
2000-09-10
*
Ajout d'un LetIn primitif.
herbelin
2000-09-10
*
Passage à des contextes de vars et de rels pouvant contenir des déclarations
herbelin
2000-07-24
*
Séparation des contraintes de type et de valeur dans pretyping
herbelin
2000-06-29
*
Mise en place d'un choix constr/typed_type en remplacement de certains Cast
herbelin
2000-06-01
*
Nettoyage de Generic
herbelin
2000-05-31
*
Bug existential_value au lieu de existential_type + divers sur existential
herbelin
2000-05-25
*
Bug de cast
herbelin
2000-05-23
*
Inlining prod_create
herbelin
2000-03-21
*
*** empty log message ***
barras
2000-03-10
*
Reparation bug isevars dans pretyping
herbelin
2000-03-10
*
La partie 'val' de trad_constraints devient un typed_type
herbelin
2000-03-08
*
Renommage mt_con -> empty_con
herbelin
2000-03-07
*
Abstraction de l'implémentation des signatures de Sign en vue intégration d...
herbelin
2000-01-26
*
gros commit de tout ce que j'ai fait pendant les vacances :
filliatr
2000-01-21
*
Correction pbs liés aux evar
herbelin
2000-01-07
*
Nouveaux types 'constructor' et 'inductive' dans Term;
herbelin
1999-12-15
*
Intégration initiale du Cases
herbelin
1999-12-11
*
modifs pour premiere edition de liens
filliatr
1999-12-02
*
- Typing -> Safe_typing
filliatr
1999-12-01
*
portage modules Evarconv et Evarutil
filliatr
1999-11-29
*
fin Recordops, et debut Evarutil
filliatr
1999-11-27
*
Des progres dans l'integration
herbelin
1999-11-25
*
Versions initiales
herbelin
1999-11-24