diff options
| author | Théo Zimmermann | 2020-11-05 12:50:43 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-11-05 14:23:27 +0100 |
| commit | d517069251fe86469c46984503805e95e837c737 (patch) | |
| tree | 771093ee737bd41c7f271651fa550e80dfaa33b1 /kernel/nativecode.ml | |
| parent | b6f3e7696ec73cb919343d54dcfe9f62a787be54 (diff) | |
Add new sections to automatic tactic chapter.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions