diff options
| author | Matej Kosik | 2015-11-02 14:41:37 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:11 +0100 |
| commit | 47377fa44143d409331dd7d0c662e6ebb34d9f4f (patch) | |
| tree | 9156837d378eec6891603842f7da3efe1971d32c /kernel/cbytecodes.ml | |
| parent | c5b3e7ff66e1675aaec7be5e0ee6772e88250991 (diff) | |
ENH: The beginning of Section 4.5 (Inductive declarations) was changed in order to make it more concrete and more comprehensible.
This ver
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions