diff options
| author | Emilio Jesus Gallego Arias | 2019-05-02 06:36:15 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-06-24 20:53:42 +0200 |
| commit | 1496099e8cf7c27ed4e4db8270606eda06b9b156 (patch) | |
| tree | 42cdea8c5c09d966c3259230a784fb71daf918a4 /vernac/comFixpoint.ml | |
| parent | 17ba18d81e5fe3dc153b1c12ac1b8daeb5474d48 (diff) | |
[lemmas] Untabify.
Diffstat (limited to 'vernac/comFixpoint.ml')
0 files changed, 0 insertions, 0 deletions