diff options
| author | Pierre-Marie Pédrot | 2016-03-25 15:14:30 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-03-25 15:14:30 +0100 |
| commit | d0a2ea9c4a68c33753c75cc80e4b255366c6352b (patch) | |
| tree | 6cc1208059a78d1f85042467542d35871120f831 /kernel | |
| parent | a54579dd20e04ea919f8fa887e15dd82051fa297 (diff) | |
| parent | e8114ee084cae195eb7615293cec0e28dcc0a3d8 (diff) | |
Moving back some tactics not essentially related to Ltac into the tactics/ folder.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions