diff options
| author | Théo Zimmermann | 2018-05-09 21:34:05 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-05-09 22:45:54 +0200 |
| commit | 762051a96fa149d8f83c77cc84cfb74545a8aab0 (patch) | |
| tree | c488a334b959296bd9435c5fee746ae9d8589f9d /kernel/nativecode.ml | |
| parent | 4b7bdb46f8cc443ed82c0db51367130980a38974 (diff) | |
[sphinx] Improve proof handling chapter.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions