diff options
| author | Gregory Malecha | 2015-11-27 16:40:34 -0800 |
|---|---|---|
| committer | Maxime Dénès | 2015-12-09 14:32:10 +0100 |
| commit | 36cbe8fa3bd20469b45b299f66e88e03768a81af (patch) | |
| tree | 12667bccca96d1b986378c432b96fd56550e49de /kernel/cemitcodes.ml | |
| parent | 8e7803224eeb32e83600905c2c855e32e7bf8ffb (diff) | |
a few edits to the universe polymorphism section of the manual
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions