diff options
| author | Kenji Maillard | 2019-11-01 12:45:18 +0100 |
|---|---|---|
| committer | Kenji Maillard | 2019-11-01 12:45:18 +0100 |
| commit | dc9c1ba86b43132691ad34bf35771b13c25696fa (patch) | |
| tree | d7ef377f36c15b24ca028657b18ee526615696b0 /kernel/nativevalues.mli | |
| parent | 7fbe716d69abb9ad7d8097a28279bbf7852a7a48 (diff) | |
adding test file for Uppercase Ltac2 constructors
Diffstat (limited to 'kernel/nativevalues.mli')
0 files changed, 0 insertions, 0 deletions