diff options
| author | Pierre-Marie Pédrot | 2014-08-02 16:34:30 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-08-02 16:55:16 +0200 |
| commit | 67500967edf584fcddc41c74aea09d48ee80a03c (patch) | |
| tree | a0c46b71ac7536317462836a1336f8d497ab553e /kernel/nativelambda.ml | |
| parent | 94b201b0a7b03978d96b8f8c9d631e4fa4bda4b0 (diff) | |
Better struture for Ltac internalization environments in Constrintern.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions