diff options
| author | Pierre-Marie Pédrot | 2017-09-14 00:15:09 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-14 00:36:18 +0200 |
| commit | c53fb4be8c65a89dd03d4aedc2fc65d9807da915 (patch) | |
| tree | 62c830e3c4262ba306dee2dda7ef1141fd45be41 /kernel/type_errors.mli | |
| parent | 4ed40a9427f67ab6091f1af5457ffdec5e156d12 (diff) | |
Binding the pose/set family of tactics.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions