Viewing all changes in revision 10682.
- Committer: letouzey
- Date: 2009-11-10 11:19:21 UTC
- Revision ID: svn-v4:85f007b7-540e-0410-9357-904b9bb8a0f7:trunk:12488
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
+ adaptation of {Nat,N,P,Z,Q,R}_as_DT for them to provide both eq_dec and eqb
- files modified:
- theories/Arith/EqNat.v
expand all
collapse all
added
removed
