diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-06-30 14:40:50 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-06-30 14:40:50 +0000 |
| commit | 962c2260406c630e90bb001bd9238dea72eef0c1 (patch) | |
| tree | e32790d4a08c61c0128826a93b4b02203c7e18ce /pretyping/pretyping.ml | |
| parent | e20e6b3b9e4148f62c94bfb467817feb2b6a4583 (diff) | |
Cleanup of Ndigits
- No need for compatibility notations for stuff introduced strictly
after branching of 8.3, for instance Nor, Nand, etc.
- Properties for N.lor, N.lxor, etc are now in BinNat.N, no need to
duplicate them in Ndigits, apart from the few compatibility results
about xor.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14249 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping/pretyping.ml')
0 files changed, 0 insertions, 0 deletions