diff options
| author | herbelin | 2000-03-07 17:03:38 +0000 |
|---|---|---|
| committer | herbelin | 2000-03-07 17:03:38 +0000 |
| commit | 7ac3d69bcfc973219d2a87622e1cbf45883bb4ca (patch) | |
| tree | 005ea74d867ce9217a8661ddc5e228234ef85fae /kernel/term.mli | |
| parent | 2bc86fb25cbd0e25b3a9464fd10caf077ed1c318 (diff) | |
Nettoyage check_pos
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@294 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/term.mli')
0 files changed, 0 insertions, 0 deletions