diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-10-27 17:32:45 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-10-27 17:32:45 +0000 |
| commit | c5e8c731ede28ba4f734bbd143c7d7e5a05c365a (patch) | |
| tree | 484b70edd1373cc3f759cda495a35c981a586a29 /theories/Num/Definitions.v | |
| parent | 0e8326e2c7db54ad45d51f6cf2408c1c893467a1 (diff) | |
Correction de 2 bugs critiques du polymorphisme d'univers
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9301 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Num/Definitions.v')
0 files changed, 0 insertions, 0 deletions