diff options
| author | Théo Zimmermann | 2020-04-22 15:58:44 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-04-23 15:15:30 +0200 |
| commit | 14e5c34b9a1ec02f9d1a3107f85ae73834b9045a (patch) | |
| tree | f667e3c10061514611d129835c847a853dcc8087 /lib/objFile.ml | |
| parent | 3ee19d5722cd6e4a11a8d4c77ce5117bbc3de44a (diff) | |
[refman] Fix name of tactic: function induction -> functional induction.
Diffstat (limited to 'lib/objFile.ml')
0 files changed, 0 insertions, 0 deletions