diff options
| author | Théo Zimmermann | 2020-11-05 13:00:56 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-11-05 14:23:32 +0100 |
| commit | 4130c6707497f7fcec7cc1afc363190ada5f2962 (patch) | |
| tree | c8fa416e0eed786d341e79a647e8a6de3e3464a6 /kernel/nativelambda.ml | |
| parent | d517069251fe86469c46984503805e95e837c737 (diff) | |
Change the title of the automatic tactic chapter and of its sections.
Prefer the term 'solver' to 'decision procedure'.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions