diff options
| author | Enrico Tassi | 2020-10-09 09:45:09 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-10-09 17:09:02 +0200 |
| commit | 391e75136df3eab27a315c7fc383a8eca73ec969 (patch) | |
| tree | 3a4e25b54dddedf5b7a529625756d23b3d2ec30a /kernel/reduction.ml | |
| parent | a023009ba68c70d8654b29bd2f68631cc5536ba9 (diff) | |
overlay for mtac2
Diffstat (limited to 'kernel/reduction.ml')
0 files changed, 0 insertions, 0 deletions