diff options
| author | Emilio Jesus Gallego Arias | 2020-03-02 02:01:23 -0500 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-19 17:18:54 -0400 |
| commit | eb452f9da5a52df0d74f7a433cfe98e31ab4ab15 (patch) | |
| tree | 41c036ee34347b765d42340c615e303b5e9fe201 /doc/plugin_tutorial/tuto2/src/custom.ml | |
| parent | 0e329b81794c582ca845d2fc547bfdefad89a972 (diff) | |
[declare/lemmas] Make inference hook exception-free
This is a step towards cleanup of the `start` lemma path.
Diffstat (limited to 'doc/plugin_tutorial/tuto2/src/custom.ml')
0 files changed, 0 insertions, 0 deletions