diff options
| author | Arnaud Spiwack | 2015-11-11 00:02:21 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-11-11 22:14:06 +0100 |
| commit | fd7eb1dd0f2cf5fab3a6a2a5f567acaca2defed5 (patch) | |
| tree | ee2353209141ab859ad79534765e97b87935b0a1 /kernel/nativecode.mli | |
| parent | 856e746e2a0adf959faee0907555af81be11d027 (diff) | |
Prehistory of Coq: move the bibliographic references to a dedicated section.
So as not to clutter the text. Also took the opportunity to add a few missing references.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions