diff options
| author | Pierre Letouzey | 2014-01-08 19:28:49 +0100 |
|---|---|---|
| committer | Pierre Letouzey | 2014-01-08 19:28:49 +0100 |
| commit | a2bf0916e0b96d404da91eae273a62469635510d (patch) | |
| tree | 47784ce3e495c74ed2486464c95e14c352cc05a5 /kernel | |
| parent | a43fc367fb43d222a99e5f8806370103d0650c7d (diff) | |
Fix base_include: Toplevel-->Coqloop, Constrintern.intern_constr without evd
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions