diff options
| author |  barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-10-04 21:24:09 +0000 |
|---|---|---|
| committer | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-10-04 21:24:09 +0000 |
| commit | 6b630ee4a3cffe8472a0a0356b8aa383abaa51dd (patch) | |
| tree | 9353a8e86e50fdd3769a86c23fde545cd0e6ad4d /pretyping/evarconv.mli | |
| parent | c7545949a5f4c229aac731e482c3bdc769863f41 (diff) | |
inefficacite de field_simplify_eq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9206 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping/evarconv.mli')
0 files changed, 0 insertions, 0 deletions