diff options
| author | Emilio Jesus Gallego Arias | 2018-10-10 22:59:12 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-11 15:45:27 +0200 |
| commit | f61c6ce423a5560cf236ed1cd07f8955bb39074f (patch) | |
| tree | 5bd45c8b64a4ea04ec47f7ed38f3d32198208338 /vernac/comProgramFixpoint.ml | |
| parent | 868d5cd983318bff00292329a3920c3b65eb3ada (diff) | |
[vernac] Remove unused `start_hook` `save_hook` from Lemmas.
These hooks are 10-years old and long unused I think.
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions