diff options
| author | Hugo Herbelin | 2015-07-30 19:20:39 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-08-02 15:06:53 +0200 |
| commit | cb0dea2a0c2993d4ca7747afc61fecdbb1c525b1 (patch) | |
| tree | e910d8dd975bf7a2716ae94fe457409f0d0b2da1 /kernel/type_errors.ml | |
| parent | 1eb48ca8695a26fa5ca248a2201a164f90885360 (diff) | |
Documenting change of behavior of apply when the lemma is a tuple and
applying a component of the tuple.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions