diff options
| author |  pottier <pottier@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-07-27 14:40:39 +0000 |
|---|---|---|
| committer | pottier <pottier@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-07-27 14:40:39 +0000 |
| commit | f611879a40204025e6f14ab46836a244607fc416 (patch) | |
| tree | 9503a6d7562c102ede85d578fe2643ebfc1aa82a /plugins/subtac/eterm.mli | |
| parent | 6687f07e8e5e4d61034f9e7d61284be571bc528d (diff) | |
nstaz pour les anneaux integres et les setoides, R Z et Q
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13336 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/subtac/eterm.mli')
0 files changed, 0 insertions, 0 deletions