Lines Matching defs:bool
40 val bool = Type.bool
414 Body = mk_const{Name = "T", Ty = bool}}}
760 fun new_list_mk_conj [] = mk_const{Name = "T", Ty = bool}
764 Ty = mk_fun{Domain = joint_type, Range = bool}}
768 Range = bool}}
901 larm = mk_const{Name="T",Ty = bool},
1014 val joint_induct_recM = mk_var {Name = "rec"^M, Ty = bool}
1266 (--`!(P:'a -> bool) (Q:bool). (?x.P x) ==> ((!x.P x ==> Q) ==> Q)`--)),
1281 (ASM_CASES_TAC (--`A:bool`--)) THEN
1303 (mk_abs{Bvar = Joint_x, Body = mk_const{Name = "T", Ty =bool}})]
1364 fun mk_rep_abs_cases_prop [] = mk_const{Name= "T",Ty=bool}