diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-08-12 13:42:01 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2018-02-20 10:03:03 +0100 |
| commit | 65505b835d6a77b8702d11d09e8cf6b84c529c65 (patch) | |
| tree | 68a124a0211c520f4e87bb0fc6bf2166b125676b /vernac/metasyntax.ml | |
| parent | 09122b77b4f556281fec338cbb2ec43c5520dc8d (diff) | |
Adding support for re-folding notation referring to isolated "forall '(x,y), t".
Was apparently forgotten in a67bd7f9.
Diffstat (limited to 'vernac/metasyntax.ml')
0 files changed, 0 insertions, 0 deletions