diff options
| author | Arnaud Spiwack | 2014-07-29 17:29:45 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-07-29 17:29:45 +0200 |
| commit | 5cc31b1a930b2a4ec9f03ac29c54396d6e7120a3 (patch) | |
| tree | b551bec05035c62ae02861e6050102bcec2c554c /kernel/inductive.ml | |
| parent | 6fbaac4bea11324e6c6785e8a5a7e4334ebcea1e (diff) | |
Small refactoring in Ltac parsing rules.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions