diff options
author | Matej Kosik <m4tej.kosik@gmail.com> | 2016-08-26 16:21:31 +0200 |
---|---|---|
committer | Matej Kosik <m4tej.kosik@gmail.com> | 2016-08-26 19:59:30 +0200 |
commit | 2c513c07473b40c390dc1e1d24bfaf971c685514 (patch) | |
tree | 77433e2500733e607e20e8b0a3541e3da52a56b4 /plugins/setoid_ring/Ring.v | |
parent | dc115ac9a938aa5bb9500bd59142be803dc45839 (diff) |
Removing calls of "Context.Rel.Declaration.to_tuple" function
Diffstat (limited to 'plugins/setoid_ring/Ring.v')
0 files changed, 0 insertions, 0 deletions