diff options
| author | Hugo Herbelin | 2020-01-02 21:46:47 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-01-02 21:46:47 +0100 |
| commit | 524d0be2e3dd70090dbd9f98a065390610e96ef5 (patch) | |
| tree | 7130ff769f90ebbbed4fdf1acaa9fd147b9cd39c /dev | |
| parent | 0b1f1f9e02f481613fda3d0e087a01cede15e65b (diff) | |
| parent | 33a3cd853b8567adce749472fa05ce357ed6f803 (diff) | |
Merge PR #11335: Stdlib : Arith/Wf_nat : Add statements with output in Type
Reviewed-by: herbelin
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions