diff options
| author | Théo Zimmermann | 2019-05-04 12:04:19 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-05-04 12:04:19 +0200 |
| commit | c05bc427be4455d8fb9341c858ea7e3317ee784e (patch) | |
| tree | 26d3f5b1aea083191756fde499224c7753cd7d72 /kernel/nativelambda.ml | |
| parent | f646a9cb36979772f821e5cf7f1fcac7fedbf32b (diff) | |
| parent | f247ae382ccf7a292f15195646ff7302a7c2bd69 (diff) | |
Merge PR #10012: Document convert_concl_no_check (#3225)
Reviewed-by: JasonGross
Reviewed-by: Zimmi48
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions