diff options
| author |  emakarov <emakarov@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-09-21 13:22:41 +0000 |
|---|---|---|
| committer | emakarov <emakarov@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-09-21 13:22:41 +0000 |
| commit | 090c9939616ac7be55b66290bae3c3429d659bdc (patch) | |
| tree | 704a5e0e8e18f26e9b30d8d096afe1de7187b401 /theories/NArith | |
| parent | 4dc76691537c57cb8344e82d6bb493360ae12aaa (diff) | |
Update on theories/Numbers. Natural numbers are mostly complete,
need to make NZOrdAxiomsSig a subtype of NAxiomsSig.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10132 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/NArith')
0 files changed, 0 insertions, 0 deletions