diff options
| author | Hugo Herbelin | 2014-08-03 22:00:27 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-08-03 22:04:41 +0200 |
| commit | 6dde48d3a75f3b8ffc960c4ac3f668ff93e93297 (patch) | |
| tree | cca3b8e2dbd49a919d41314579090d79479c9259 /kernel/inductive.mli | |
| parent | e5c025030f9f6ef17a5456850a15c088ff66fa2b (diff) | |
Chapter 4: Fixing ambiguity about whether the return predicate refers
explicitly or implicitly to the variables in the as and in clauses +
formatting.
Diffstat (limited to 'kernel/inductive.mli')
0 files changed, 0 insertions, 0 deletions