diff options
| author |  pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-07-26 11:30:29 +0000 |
|---|---|---|
| committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-07-26 11:30:29 +0000 |
| commit | 7ce8915a2f29b45a6be029c89b671f80cc3b7634 (patch) | |
| tree | 8ff9c8388f3390b771f2402f78e10b7a733d0095 /plugins/nsatz | |
| parent | dc6d09002e9de32434f558565905dc74af8ad62c (diff) | |
All the parameters of Compare are implicits.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14297 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/nsatz')
0 files changed, 0 insertions, 0 deletions