aboutsummaryrefslogtreecommitdiff
path: root/pretyping/coercion.ml
AgeCommit message (Expand)Author
2000-03-07Export inh_conv_coerce_to et diversherbelin
2000-01-21gros commit de tout ce que j'ai fait pendant les vacances :filliatr
1999-12-13 - méthode load sur les Hintsfilliatr
1999-12-01mise a jour Coercionfilliatr
1999-12-01 - Typing -> Safe_typingfilliatr
1999-11-25Des progres dans l'integrationherbelin
1999-11-24Versions initialesherbelin