diff options
| author | Hugo Herbelin | 2014-08-09 18:53:21 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-08-18 18:56:39 +0200 |
| commit | efa1c32a4d17870794dbc6f0301c3c0d46637a55 (patch) | |
| tree | 235cb1903dc5ffdd2ad4bdb7d3bc9cfc58e10de2 /kernel | |
| parent | 5dcafa956e49eefc451dd021a0fe8ad2e2338088 (diff) | |
Fixing unification of subterms identified by patterns.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions