diff options
| author | Emilio Jesus Gallego Arias | 2019-10-30 15:47:49 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-10-30 15:47:49 +0100 |
| commit | 28ea499486dd17076d8f2f4c31d7fdebeacdff8e (patch) | |
| tree | ec640ae9960101a5fdc2bbf1b61888af580a68c5 /tactics/declareScheme.mli | |
| parent | 6b13decaa6ca82ce10566121fb38a12072ab2a0c (diff) | |
| parent | 9254731ec877abc7496a7715920c936bdf20a091 (diff) | |
Merge PR #10960: Move inference_hook from vernacentries to lemmas
Reviewed-by: ejgallego
Diffstat (limited to 'tactics/declareScheme.mli')
0 files changed, 0 insertions, 0 deletions