diff options
| author | Maxime Dénès | 2018-08-16 15:46:45 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-08-16 15:46:45 +0200 |
| commit | 6fe61aacc57e82de491debb544844c41b1f27757 (patch) | |
| tree | 86479a0f0d3f07bcde3ee5c83c457e98097840b2 /kernel/nativelambda.ml | |
| parent | 07c25cfaea5f4f97f2a763a58ce80207a948365c (diff) | |
| parent | 80883ddf89949afa82081ba80ccb4934320e6ee3 (diff) | |
Merge PR #8111: Docs: Fix p values in CIC Inductive Defs examples
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions