diff options
| author | Amin Timany | 2017-06-01 17:05:52 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-06-16 04:51:19 +0200 |
| commit | 49e4acab949da9861adcd37b8511a89c221ae129 (patch) | |
| tree | 65d38a897d51e3b455e50ac2f30c3c023b7b5a98 /kernel/reduction.ml | |
| parent | ff918e4bb0ae23566e038f4b55d84dd2c343f95e (diff) | |
Use a smart map_constr
Diffstat (limited to 'kernel/reduction.ml')
0 files changed, 0 insertions, 0 deletions