diff options
| author | Hugo Herbelin | 2019-11-13 17:18:06 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-05-06 17:04:11 +0200 |
| commit | 62f6fb862ce4f3eec46200d11e503aa5d6d051db (patch) | |
| tree | 323b0a77e1f0dbf2e07067b65fc0f359f1d00ff2 /kernel/nativelambda.ml | |
| parent | bc79d319d38f766a6b7bbeb1f1071b046642089b (diff) | |
Documenting plugin/tactic/stdlib keywords in corresponding chapters.
Incidentally removing "discriminated", "(bfs)" and "(dfs)" from
keywords. It is enough to make them normal identifiers.
Note:
- keywords reserved by the tactics are: ** [= _eqn |- by using
- keywords reserved by ltac are: lazymatch multimatch ||
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions