aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/setoid_ring/Algebra_syntax.v
diff options
context:
space:
mode:
authorGravatar Pierre Letouzey <pierre.letouzey@inria.fr>2017-05-10 19:19:45 +0200
committerGravatar Pierre Letouzey <pierre.letouzey@inria.fr>2017-05-22 15:15:49 +0200
commit2c01ce4b5d52a9f86553d07a83a237902b0cbc64 (patch)
tree72ebf527bfcd5b28ed86bf07631b26f9f62088fc /plugins/setoid_ring/Algebra_syntax.v
parent7547cd5ea5ca48a3c1128349e423e464254bc357 (diff)
refl_omega: refactoring of normalize_equation
Diffstat (limited to 'plugins/setoid_ring/Algebra_syntax.v')
0 files changed, 0 insertions, 0 deletions