diff options
| author | Guillaume Melquiond | 2019-07-26 15:56:36 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2019-07-26 16:00:14 +0200 |
| commit | 6f67b0e5ed3ea31e2a648941027b7b35f07854cd (patch) | |
| tree | cf6d6ae7db69eafe7422434a017ac36b64ce67a0 /kernel/typeops.ml | |
| parent | 2e37b4b30d0779dc960db80189e51ecd69f7e45a (diff) | |
Remove the tactic wizard, as it has not worked for several years and no one complained (fixes #10580).
Diffstat (limited to 'kernel/typeops.ml')
0 files changed, 0 insertions, 0 deletions