diff options
| author | Hugo Herbelin | 2016-04-27 22:13:02 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-27 22:13:02 +0200 |
| commit | c7479a10e0c03cac318d80c31403c111a9fd9948 (patch) | |
| tree | fc4239d276a6457552ed0c633422d0d4064dbef0 /doc/tutorial/Tutorial.tex | |
| parent | 2afad1e87036d2ee6a7399dbf866233a52edd47c (diff) | |
Revert "Add support for generalization also on named variables in pattern-matching"
This reverts commit be80899499094fc8a15362931e3cec650f2fb14e.
Diffstat (limited to 'doc/tutorial/Tutorial.tex')
0 files changed, 0 insertions, 0 deletions