Thm* eq_int_eq_true_elim

Thm* eq_int_eq_true

Thm* eqtt_to_assert

Thm* assert_elim

Thm* assert_of_tt

Thm* band_tt_simp

Thm* bor_tt_simp

Thm* bool_ind

Thm* bool_cases

Thm* btrue_neq_bfalse