diff options
| author | Yves Bertot | 2018-05-11 11:35:37 +0200 |
|---|---|---|
| committer | Yves Bertot | 2018-05-11 11:35:37 +0200 |
| commit | 9559285108ec87ad7a813bcb208145a04e86ab5c (patch) | |
| tree | 183936db811e4f0c92bbc40ea6d9996af06982d0 /doc/plugin_tutorial/tuto1/src/simple_print.ml | |
| parent | c74ead36e32c49dbbf030083ba150e10bb1c74cf (diff) | |
Adds a tactic that hides the contents of an hypothesis from view
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_print.ml')
0 files changed, 0 insertions, 0 deletions