diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-08-03 22:00:27 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-08-03 22:04:41 +0200 |
| commit | 6dde48d3a75f3b8ffc960c4ac3f668ff93e93297 (patch) | |
| tree | cca3b8e2dbd49a919d41314579090d79479c9259 /pretyping/unification.ml | |
| 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 'pretyping/unification.ml')
0 files changed, 0 insertions, 0 deletions