diff options
author | Matej Kosik <m4tej.kosik@gmail.com> | 2015-12-09 15:22:08 +0100 |
---|---|---|
committer | Matej Kosik <m4tej.kosik@gmail.com> | 2015-12-17 13:56:14 +0100 |
commit | 57a90691e4a64853113ab38487a5406a32c8c117 (patch) | |
tree | 6c12426cd43752bc4b8b1e950ba68903f4df6f7a /pretyping/inductiveops.mli | |
parent | 39b13903e7a6824f4405f61bb4b41a30cfbd0b3c (diff) |
CLEANUP: in the Reductionops module
Diffstat (limited to 'pretyping/inductiveops.mli')
0 files changed, 0 insertions, 0 deletions