Thm* ite_rw_false

Thm* ite_rw_test

Thm* assert_of_bnot

Thm* neg_assert_of_eq_atom

Thm* neg_assert_of_eq_int

Thm* not_assert_elim

Thm* assert_of_ff

Thm* btrue_neq_bfalse

In prior sections: core