diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-04-10 01:27:44 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-04-10 01:27:44 +0200 |
| commit | c6a8c4b5fa590f2beecd73817497bd7773a87522 (patch) | |
| tree | 4bcf5db0fdb721755b3aa3a04cb738011d276675 /printing/pptactic.ml | |
| parent | f8f2c684ce97745350f8cbcb654a2ee27fb9d572 (diff) | |
Expliciting the fact that the atomic tactic type is self-contained.
Diffstat (limited to 'printing/pptactic.ml')
0 files changed, 0 insertions, 0 deletions