diff options
| author | sacerdot | 2004-09-27 19:33:01 +0000 |
|---|---|---|
| committer | sacerdot | 2004-09-27 19:33:01 +0000 |
| commit | bf064f852c3f50a0e743af04fdd29cf207dd3f3a (patch) | |
| tree | b9fd51ac841114b20e2315410acb012e98d50f2d /dev/debugging.txt | |
| parent | 4ec5bed75004a180595eb69c751a1af5b75c0d8d (diff) | |
?(mod_delta=true) parameter added to each unification function.
mod_delta = true if the unification is done modulus delta conversion (of
closed terms).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6142 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/debugging.txt')
0 files changed, 0 insertions, 0 deletions