diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-11-10 11:19:21 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-11-10 11:19:21 +0000 |
| commit | 424b20ed34966506cef31abf85e3e3911138f0fc (patch) | |
| tree | 6239f8c02d629b5ccff23213dc1ff96dd040688b /theories/Numbers/Integer/BigZ | |
| parent | e03541b7092e136edc78335cb178c0217dd48bc5 (diff) | |
DecidableType: A specification via boolean equality as an alternative to eq_dec
+ adaptation of {Nat,N,P,Z,Q,R}_as_DT for them to provide both eq_dec and eqb
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12488 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Numbers/Integer/BigZ')
0 files changed, 0 insertions, 0 deletions