diff options
| author | huang | 2002-04-04 08:54:56 +0000 |
|---|---|---|
| committer | huang | 2002-04-04 08:54:56 +0000 |
| commit | cb452e26fdaa2000f5e9c4e3fa5de512626f8ee7 (patch) | |
| tree | 394fa006a1fda5945d4336c0e6ae7f291d921b82 /kernel/inductive.ml | |
| parent | 5b9c03654d74ae04864e01a24b295d5021bcb300 (diff) | |
Add citations
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2607 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions