diff options
| author | Hugo Herbelin | 2018-10-06 14:22:49 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-10-12 08:39:13 +0200 |
| commit | d82146cb2e5df8bb7df3e92c8342aa089ba2fac1 (patch) | |
| tree | bdc69d1870f8ac1e722230ee00f7d95b4987caae /kernel/cbytecodes.ml | |
| parent | 27fd525445e8ab37e67eebfb2bca1963e33c7f64 (diff) | |
Lemmas: Little simplification of artificially convoluted code.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions