diff options
| author | coq | 2005-07-15 17:11:57 +0000 |
|---|---|---|
| committer | coq | 2005-07-15 17:11:57 +0000 |
| commit | 7194abc6a19009d4921fbeeaf1bb8cf51018698d (patch) | |
| tree | f5ce44e6bf8d6def4c330c395c6b1e103a94d977 /kernel/inductive.ml | |
| parent | 14e850d63d17d9a7094a23d2a59ca9f968b5976a (diff) | |
Fix sumbool_not hint (on behalf of cpaulin).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7235 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions