diff options
| author | Emilio Jesus Gallego Arias | 2020-06-05 17:39:42 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-06-05 17:39:42 +0200 |
| commit | e9bba6f73ef3d66949f2527cbd250d1c45210add (patch) | |
| tree | 34bc900bc215388dd1397d03c42d72de3212c5c8 /kernel/type_errors.ml | |
| parent | 2f2d21a6102f8cbbdb3d23624c15d05a6e52345c (diff) | |
| parent | f47b2edfb9e43d551c3b243c16cfc10e38e70d47 (diff) | |
Merge PR #12450: Document known issue of Proof <term> with PG.
Reviewed-by: ejgallego
Reviewed-by: erikmd
Reviewed-by: jfehrle
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions