diff options
| author | emakarov | 2007-09-21 13:24:37 +0000 |
|---|---|---|
| committer | emakarov | 2007-09-21 13:24:37 +0000 |
| commit | 9632f263fe29c90c42d6e18979e6b2466a92430f (patch) | |
| tree | 6383250bd7e5e54b43a8e494e20eba0136d4f174 /kernel/type_errors.ml | |
| parent | 090c9939616ac7be55b66290bae3c3429d659bdc (diff) | |
Update on theories/Numbers
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10133 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions