diff options
| author | courtieu | 2008-03-18 18:53:24 +0000 |
|---|---|---|
| committer | courtieu | 2008-03-18 18:53:24 +0000 |
| commit | 0d06d04e63919eb021721d42581169902d29612a (patch) | |
| tree | 5fb353c00a766786ffe31ad65c3169417de5a3aa /pretyping/typeclasses_errors.ml | |
| parent | 58a004de1f4c3eb6c401a116eab7321d93ac6fbe (diff) | |
Added a function to rebuild an elim scheme from elim_scheme_info. Will
use it for elim principle type generation from merged graphs.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10693 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions