diff options
| author | Matthieu Sozeau | 2016-01-12 17:32:04 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-01-12 17:32:04 +0100 |
| commit | eb40037b4c341746933c713e8950f3a60d550f4a (patch) | |
| tree | 4441ab35f5cfbd5ca3d311573e0ce001540afa67 /kernel/nativelib.ml | |
| parent | 4841b790bbe517deefac11e8df1a7a1494d56bec (diff) | |
Extend Keyed Unification tests with the one from R. Krebbers.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions