diff options
| author | herbelin | 2012-03-20 08:02:11 +0000 |
|---|---|---|
| committer | herbelin | 2012-03-20 08:02:11 +0000 |
| commit | 541ff113562c62381100caea84bf58ce5b2cd3ce (patch) | |
| tree | 5e194ce12f2a98843bb0a39818715838e1905bd7 /kernel/type_errors.mli | |
| parent | 0a59c2e537040d3e74fd65cd738fa617cbd4f1e2 (diff) | |
Reorganizing the structure of evarutil.ml (only restructuration, no
change of semantics).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15060 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions