diff options
| author | herbelin | 2010-04-05 11:21:06 +0000 |
|---|---|---|
| committer | herbelin | 2010-04-05 11:21:06 +0000 |
| commit | 13ea870a89abbd0d2d858c35f1f4907f60055d48 (patch) | |
| tree | e4775f48763796a24cad86cf21494cd417f84dde /dev | |
| parent | 27b03e960f936b4de1736b3177e318797c137e0e (diff) | |
Tests for bug report #2244 (pattern-unification with abstraction over Meta's)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12899 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions