diff options
| author | letouzey | 2008-12-17 15:57:43 +0000 |
|---|---|---|
| committer | letouzey | 2008-12-17 15:57:43 +0000 |
| commit | 991ea521f4e34afa45f33906091c34116d2c0f63 (patch) | |
| tree | ddb5ba679e3777a894736699d9277142d54da8d5 /scripts | |
| parent | 211030a7a870bdf3bc36b0923379e2d1bf6c729a (diff) | |
Better compatibility after commit 11693 by adding an alias OrderedTypeFacts.eq_dec
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11694 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions