diff options
| author | Maxime Dénès | 2020-02-25 18:30:57 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2020-03-01 20:33:27 +0100 |
| commit | fd38386b2aa19edf2df05f7b935d2273d9de8b00 (patch) | |
| tree | f80313aa6320a5ed94b77bad1e2191097341346a /kernel/uGraph.ml | |
| parent | ed8ac4195c89ee14d03c80e1d9d3f66665573cbf (diff) | |
Move lookahead combinators to Pcoq
They were in Ltac2, but they are of general interest
Diffstat (limited to 'kernel/uGraph.ml')
0 files changed, 0 insertions, 0 deletions