diff options
| author | herbelin | 2001-09-25 12:00:11 +0000 |
|---|---|---|
| committer | herbelin | 2001-09-25 12:00:11 +0000 |
| commit | c39bf2efb9eba7b0b78b777c5afdf0be0e6a821e (patch) | |
| tree | 612cc8d0f1a55cf6e95c6641b28a59b636bf2ca0 /kernel/modops.mli | |
| parent | c827822486f096111a460f7616540a00745f6dd8 (diff) | |
MAJ V7.1
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8230 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/modops.mli')
0 files changed, 0 insertions, 0 deletions