diff options
| author | msozeau | 2011-04-18 12:34:08 +0000 |
|---|---|---|
| committer | msozeau | 2011-04-18 12:34:08 +0000 |
| commit | 092cb84f074112ab9b33f936d5a79d58102c9eec (patch) | |
| tree | c603cb12c52f06e3fbb63d752307bf16e6b501fa /kernel | |
| parent | 0f78158fe1993b0e680d27b581bcaaad8fc009f7 (diff) | |
Add a flag to control betaiota reduction during unification to maintain backward compatibility.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14022 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions