diff options
| author | Zeimer | 2018-07-17 23:43:06 +0200 |
|---|---|---|
| committer | Zeimer | 2018-07-20 18:57:32 +0200 |
| commit | 3eeb4fb840328a0f8831c402b2347196bfa0042d (patch) | |
| tree | bba638b9eaab85c4d94d24e979aefba54d3042e3 /kernel/nativevalues.ml | |
| parent | d8cd9ba6d56d32eb8aa383bca9198a18517e82d3 (diff) | |
Improved chapter 'The tactic language' of the Reference Manual.
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions