fact: Axiom thm_ALL : forall {_34111 : Type'} (h : _34111) (P : _34111 -> Prop) (t : list _34111), ((@List.Forall _34111 P (@nil _34111)) = True) /\ ((@List.Forall _34111 P (@cons _34111 h t)) = ((P h) /\ (@List.Forall _34111 P t))).
imports: coq theory_hol types terms axioms