diff options
| author | sacerdot | 2000-11-29 11:26:12 +0000 |
|---|---|---|
| committer | sacerdot | 2000-11-29 11:26:12 +0000 |
| commit | 52d04b41a0fba7c9649b45f5684a0318b1004c8b (patch) | |
| tree | 5b2db7d6f4cd7e0b1d7f44a08c88d50ab019434b /kernel/typeops.ml | |
| parent | 15178dda8118c3f0fcd9c9292e2813a71b7af57a (diff) | |
Now also inner-types are exported.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1010 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/typeops.ml')
0 files changed, 0 insertions, 0 deletions