diff options
| author | Théo Zimmermann | 2018-07-11 12:58:30 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-07-11 12:58:30 +0200 |
| commit | b646ab446866160b3c657f0134e93fdf002cbc7f (patch) | |
| tree | 616a864eb04c9c23ccf1c43697b3b22d79ea62cb /kernel/nativevalues.ml | |
| parent | 79b2f30b22e1a0baeea614813e6984871ec16089 (diff) | |
| parent | 3bb14bc0e3665527c8e961b1424df9284c5042b6 (diff) | |
Merge PR #8035: Fix #8033: Tactic assert-suceeds has a typo in its name in the manual
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions