diff options
| author | Pierre-Marie Pédrot | 2017-08-05 14:46:18 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-05 15:08:31 +0200 |
| commit | dbaf8dd6b150619ac04b33ae4d581432cb5cefe0 (patch) | |
| tree | ed076a8ff6e12613f714d31f5186bf42751ef52d /src/tac2stdlib.ml | |
| parent | 1f2de88e09c7bb1c0aa111db0d7d50b83f8a62d4 (diff) | |
More notations for basic tactics.
Diffstat (limited to 'src/tac2stdlib.ml')
0 files changed, 0 insertions, 0 deletions