diff options
| author | Pierre-Marie Pédrot | 2017-08-07 15:15:36 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-07 16:15:22 +0200 |
| commit | e1ea058fb664be58371237e5a6dbe0ec570448d5 (patch) | |
| tree | e6760f2b0ed575123b6dd6b865b950a52fea17f6 /src/tac2stdlib.ml | |
| parent | 77150cc524f5cbdc9bf340be03f31e7f7542c98d (diff) | |
Defining a few base tacticals.
Diffstat (limited to 'src/tac2stdlib.ml')
0 files changed, 0 insertions, 0 deletions