Nuprl - bool 2 jlc

bool_2_jlcNuprl Section: bool_2_jlc - A few basic facts about asserting Bools and Bool Equalities

Selected Objects
`THM`	`assert_iff_btrue`	`P:. P P = true`
`THM`	`assert_iff_btrue_rw`	`P:. P P = true`
`THM`	`not_assert_iff_bfalse`	`P:. P P = false`
`THM`	`assert_of_bool_eq_bfalse_false`	`b:. b b=false = false`
`THM`	`assert_of_eq_bool_iff_equal_bool`	`b1,b2:. b1=b2 b1 = b2`