diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-08-20 22:30:37 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-09-12 10:39:33 +0200 |
commit | b006f10e7d591417844ffa1f04eeb926d6092d7b (patch) | |
tree | 9253b32cb1adabafce28f123ef9eb11d4fa122f4 /plugins/setoid_ring/ArithRing.v | |
parent | ca300977724a6b065a98c025d400c71f41b9df4b (diff) |
Uniformisation of the order of arguments env and sigma.
Diffstat (limited to 'plugins/setoid_ring/ArithRing.v')
0 files changed, 0 insertions, 0 deletions