Variant negation elimination rules

The variant negation elimination rules, $\neg E1$ and $\neg E2$ are: ?

$$\frac{\neg \neg A}{A}(\neg E1)\frac{\neg A\to B,A\to B}{B}(\neg E2)$$