diff options
| author | Hugo Herbelin | 2020-08-17 23:26:37 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-08-18 09:16:17 +0200 |
| commit | d14abd0ae1204d728a877d81d9553f77127ade4f (patch) | |
| tree | 960784f73bd473c7443d027a5f43ca790e13ad7d /pretyping/typeclasses_errors.mli | |
| parent | 93d9f3e232dd92aef3f6a46a16fb52d8e1b8221e (diff) | |
Tactic replace: adding support for registration of an equality in Type.
Diffstat (limited to 'pretyping/typeclasses_errors.mli')
0 files changed, 0 insertions, 0 deletions