diff options
| author | Matej Kosik | 2016-04-04 15:08:23 +0200 |
|---|---|---|
| committer | Matej Kosik | 2016-04-04 15:08:23 +0200 |
| commit | 6a1fb5ffbb9fd63fc0c2445b9391229a959e3608 (patch) | |
| tree | c710c2d171169c21e44e8aa47c8f4703533b86c3 /kernel/nativecode.mli | |
| parent | b3315a798edcaea533b592cc442e82260502bd49 (diff) | |
| parent | 85c9add9486bbb2d42c0765f4db88ecfcbf2ac39 (diff) | |
Merging "https://github.com/coq/coq/pull/94", i.e. "Traversal of inductive defs in Print Assumptions"
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions