diff options
| author |  barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-06-22 15:40:36 +0000 |
|---|---|---|
| committer | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-06-22 15:40:36 +0000 |
| commit | b0a8a08682c8f9c8f3457adef403c48f8fc011ac (patch) | |
| tree | a237dc3fa9db5cbdc89ed9fd2b0ba7b386b1b860 /kernel/cooking.ml | |
| parent | 339418b59ec90edbe16980e2978a0e8be347aa1e (diff) | |
documented a bug of pattern unification with metas
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12203 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/cooking.ml')
0 files changed, 0 insertions, 0 deletions