diff options
| author | Amin Timany | 2017-04-06 19:03:24 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-06-16 04:45:20 +0200 |
| commit | c07215582ab75faeea864827b153eed80a28527a (patch) | |
| tree | e54ac354dad67269d709f065890e373822d7d2b6 /kernel/reduction.ml | |
| parent | bef2e53ae2286d0a7c61697f7a7a71bfdc0a3c99 (diff) | |
Change the place of inference after sect discharge
Diffstat (limited to 'kernel/reduction.ml')
0 files changed, 0 insertions, 0 deletions