Logipedia-Jumb

bool.bool

bool.true_or_false

bool.andb_true_r

bool.andb_true_l

bool.andb

bool.notb

bool.not_eq_true_false

bool.bool_discr

bool.sym_eq_match_bool_type_false

bool.sym_eq_match_bool_type_true

bool.eq_match_bool_type_false

bool.axiom_match_bool_type_false

bool.eq_match_bool_type_true

bool.axiom_match_bool_type_true

bool.match_bool_type

bool.match_bool_prop

bool.false

bool.true