Thm* eq_int_cases_test

Thm* eq_int_eq_true_elim

Thm* eq_int_eq_false_elim

Thm* eq_int_eq_true

Thm* eq_int_eq_false

Thm* assert_of_eq_int_rw

Thm* neg_assert_of_eq_int

Thm* assert_of_eq_int