diff options
| author | Jim Fehrle | 2020-04-12 11:40:28 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2020-08-25 11:36:47 -0700 |
| commit | 4a7e39323bd57ac41ec90d4ea18f10423029e8b5 (patch) | |
| tree | 5bd1463ebdc0610c18029ca20594e96f19493e7e /kernel/type_errors.ml | |
| parent | fa3d479cbf3f84a231fe8587c321df03538b18e7 (diff) | |
Convert ltac2 chapter to use prodn, update syntax
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions