diff options
| author | Emilio Jesus Gallego Arias | 2018-10-15 13:42:31 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-15 13:42:31 +0200 |
| commit | 68a9b7ceab4af63b5fe7a3bc2d7197dc480fd6d2 (patch) | |
| tree | f1530b94c5637543b87e2e458146c2f59e80cfd7 /kernel/cbytecodes.ml | |
| parent | ecf999c8f8a677508d2856c3c8a7cacfa5da3839 (diff) | |
| parent | d82146cb2e5df8bb7df3e92c8342aa089ba2fac1 (diff) | |
Merge PR #8716: Lemmas: Little simplification of artificially convoluted code
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions