diff options
| author | Pierre-Marie Pédrot | 2014-11-17 11:28:42 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-11-17 12:07:18 +0100 |
| commit | 46c93445392543affd40412460d8ca436f5cfb84 (patch) | |
| tree | bd71f99b5791953c33482d521b56fad33a02ab8f /kernel/inductive.ml | |
| parent | 35b88621408d13ae8e2a0247daa01d95d749161c (diff) | |
Setting printing tags for Ltac.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions