diff options
| author | Théo Zimmermann | 2018-05-25 10:07:51 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-05-26 18:19:28 +0200 |
| commit | 08d938d48d84f09644966829e648790106ebcdd5 (patch) | |
| tree | 385c18e795c87f56953ac4fcdbefcba46765567e /kernel/cbytecodes.ml | |
| parent | 1f79ad396cd1fe1dc74c0b23566855f3df8ea58e (diff) | |
Improve subsection Assumptions of the Gallina chapter.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions