Thm* assert_of_le_int
Thm* assert_of_bimplies
Thm* assert_of_bor
Thm* assert_of_band
Thm* assert_of_bnot
Thm* assert_of_eq_bool
Thm* assert_of_eq_int_rw
Thm* assert_of_lt_int
Thm* neg_assert_of_eq_atom
Thm* neg_assert_of_eq_int
Thm* assert_of_eq_int
Thm* assert_of_eq_atom
Thm* iff_imp_equal_bool
Thm* eqff_to_assert
Thm* eqtt_to_assert