diff options
| author | herbelin | 2011-12-07 17:54:29 +0000 |
|---|---|---|
| committer | herbelin | 2011-12-07 17:54:29 +0000 |
| commit | e2596317ad17299a3616737ed56f8e4feadaae45 (patch) | |
| tree | f50c28dda0f59b2a7b82b969ad27e99e2c0df637 /kernel | |
| parent | 88896f0ec58077675027dc6b7969adacb2045051 (diff) | |
Adapting test Existentials to new numbering strategy of evars (r14764).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14777 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions