diff options
| author | Théo Zimmermann | 2018-09-12 10:12:31 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-09-12 10:12:31 +0200 |
| commit | 39ca9e6931b55e63219a22a678eb6c15b0015a0f (patch) | |
| tree | da29c62f339b20931f4cca3c7693c887fb898430 /kernel/nativelambda.ml | |
| parent | 701f6ab54498bd5bb3256babe0eb2cb207478b0d (diff) | |
| parent | acedbd2b83913db24014539ab75b75bb0a64951f (diff) | |
Merge PR #8372: Grammar rule in the documentation of ssreflect's anonymous arguments
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions