diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-03-09 20:32:25 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-03-09 20:32:25 +0100 |
| commit | 1b55adb1bea6d0e51fff54d9d94d95d8185476b7 (patch) | |
| tree | 6913527ba75b8ba060e97077adfdd1e143784a32 /kernel/inductive.ml | |
| parent | fdbad8894dec9df0294e91aac61ce47d5af609d4 (diff) | |
| parent | fd7eb1dd0f2cf5fab3a6a2a5f567acaca2defed5 (diff) | |
Merge branch 'render-prehistory' of https://github.com/aspiwack/coq into aspiwack-render-prehistory3
Pull request #120
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions