diff options
| author |  Jason Gross <jgross@mit.edu> | 2019-03-08 01:47:40 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2019-03-08 01:47:40 -0500 |
| commit | 295f86cd4dccaa3a5617f8ac3b4f2dd02b9cfedd (patch) | |
| tree | 6466f73c78ed9b3a680e16f1c67364b244bd6f60 /_CoqProject | |
| parent | 6b06cc9207e28a531a3241df2760cc8d6427b7fd (diff) | |
Fix grepeat tactic
It previously required progress on all goals, rather than any goal
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions