diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-03-30 15:35:04 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-08-02 19:13:51 +0200 |
| commit | 6737055d165c91904fc04534bee6b9c05c0235b1 (patch) | |
| tree | 3a907ec2601805286b485db8e4c0c8aa2f7f30ce /pretyping/inductiveops.ml | |
| parent | 342fed039e53f00ff8758513149f8d41fa3a2e99 (diff) | |
Cosmetic changes in evarconv.ml: hopefully using better self-documenting names.
Diffstat (limited to 'pretyping/inductiveops.ml')
0 files changed, 0 insertions, 0 deletions