diff options
| author | coqbot-app[bot] | 2020-08-26 17:28:04 +0000 |
|---|---|---|
| committer | GitHub | 2020-08-26 17:28:04 +0000 |
| commit | 748299d286b575f749bf7f5d9c9b7d2842a281a7 (patch) | |
| tree | a9a2527478ec271dfbe37c37c309dcade5ed382a /kernel/type_errors.ml | |
| parent | 4e6b029805a74ea16166da2c5f59f9669fd34eb8 (diff) | |
| parent | 4a7e39323bd57ac41ec90d4ea18f10423029e8b5 (diff) | |
Merge PR #12085: Convert ltac2 chapter to use prodn, update syntax
Reviewed-by: JasonGross
Reviewed-by: Zimmi48
Ack-by: jfehrle
Ack-by: ppedrot
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions