diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-10-19 10:13:24 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-10-19 10:13:24 -0400 |
| commit | 0d52aedbd9ecc04c0540ad7d7d7ff2b5051dcaa5 (patch) | |
| tree | 1cded183f95d276e9d76bdcf8eb0af157eaa1763 /lib/ur | |
| parent | 25838bc2eb221b82151c648473b3528e3a4e4e9d (diff) | |
Smarter handling of unification variables for 'kindof' on projections
Diffstat (limited to 'lib/ur')
0 files changed, 0 insertions, 0 deletions