Thm* assert_of_eq_int_rw

Thm* assert_functionality_wrt_bimplies

Thm* bool_ind

In prior sections: core well fnd int 1