diff options
| author | bertot | 2002-07-09 07:59:19 +0000 |
|---|---|---|
| committer | bertot | 2002-07-09 07:59:19 +0000 |
| commit | df9a4f1ae642cbbd2a6f1a3b82ad8169b7ec5ae6 (patch) | |
| tree | 47f00369a7e6ceef22bdd4ab7406091b58108924 /kernel/declarations.ml | |
| parent | c04fe01b5d33b5e091c8fd19047514a7e4c4f311 (diff) | |
Making the sumbool functions transparent, so that they can used to
compute even inside Coq.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2846 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/declarations.ml')
0 files changed, 0 insertions, 0 deletions