`del`ってなんだ？

# why

`add`はわかるが`del`？どこで使うんだ？

> Method auto can be modified similarly: 
>   apply(auto simp add: ... simp del: ...)
> 
> Here the modifiers are `simp add` and `simp del` instead of just `add` and `del` because `auto` does not just perform simplification

これまでdelを使ってこなかったからわからない。

# what 

- [x] `del`の定義を調べる
- [ ] 使う場面を考える
- [ ] 記録する。