bool 1 Doc

Def P Q == (P Q) & (P Q)

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

In prior sections: core well fnd int 1