diff options
| author |  barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-07-29 15:24:05 +0000 |
|---|---|---|
| committer | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-07-29 15:24:05 +0000 |
| commit | 76ea7e23448722be7231b575fc4d1faea1178e2e (patch) | |
| tree | 77cc3e586956612b5f4ad3b39027450339968fa9 /pretyping/typing.mli | |
| parent | 8301010603574301ec56728727093ad456cd12ad (diff) | |
fixed bug #2105 (compilation of free de Bruijn) and missing lift of predicate in branch read-back (2)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13350 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping/typing.mli')
0 files changed, 0 insertions, 0 deletions