diff options
| author | Hugo Herbelin | 2015-07-10 19:16:05 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-07-10 19:53:55 +0200 |
| commit | 31ce6ad3ca351b4742f66ed059356191ae96a3ac (patch) | |
| tree | 8a22f3def61b19a7c2972402fadecb43a96fe036 /kernel/inductive.ml | |
| parent | 1391955c6635da17b4fb2d7c7b5cec799685e99d (diff) | |
Rewording about how to upgrade on failing calls to constructor.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions