diff options
author | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2005-03-25 12:37:44 +0000 |
---|---|---|
committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2005-03-25 12:37:44 +0000 |
commit | 14231a6b9f78637e23885e9854254b84259c1149 (patch) | |
tree | 3d80027bb57196f2672393bc6eb11274deae9fad /kernel/term.mli | |
parent | 3b182903454caa27cd34fc38c594970a800dc9a1 (diff) |
Updated to OCaml 3.08.3 + small fixes.
Diffstat (limited to 'kernel/term.mli')
0 files changed, 0 insertions, 0 deletions