diff options
author | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-24 22:19:46 +0200 |
---|---|---|
committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-27 21:22:50 +0200 |
commit | a95210435f336d89f44052170a7c65563e6e35f2 (patch) | |
tree | 8af644805f9ab0952b87adf0abb13315cc3b7869 /plugins/setoid_ring/Field_theory.v | |
parent | ad2e11471dbfc0894b4fdfedd895e7f0a75bd930 (diff) |
Index keys instead of simply global references.
Diffstat (limited to 'plugins/setoid_ring/Field_theory.v')
0 files changed, 0 insertions, 0 deletions