diff options
| author |  pottier <pottier@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-03-08 13:13:09 +0000 |
|---|---|---|
| committer | pottier <pottier@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-03-08 13:13:09 +0000 |
| commit | ea3f7da1c8c28f23fdbad371609deda03f22301c (patch) | |
| tree | 5d815eddf6eeff6a080b54b0ee33cf81703bbe48 /plugins/setoid_ring/Field_tac.v | |
| parent | a26efb5269114b8c23f823b9eabcccbdc71a6e92 (diff) | |
syntax for exponents
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13897 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/setoid_ring/Field_tac.v')
0 files changed, 0 insertions, 0 deletions