diff options
author | 2017-11-24 22:48:05 +0100 | |
---|---|---|
committer | 2017-12-14 14:19:07 +0100 | |
commit | 0bca8c15643e7b5b894b822db4f50bfbbd0858bb (patch) | |
tree | 611203145c323e9d118f018a31b3e49fb648b66b /vernac/explainErr.ml | |
parent | d6bd80ff477f3416f4ff0ded65aa658999b5ac21 (diff) |
Document Asymmetric Patterns.
Diffstat (limited to 'vernac/explainErr.ml')
0 files changed, 0 insertions, 0 deletions