fact: Fixpoint mk_list_false_acc (t: nat) (acc: list bool) : list bool := match t with | O => acc | S t' => mk_list_false_acc t' (false::acc) end.
imports: List Bool NArith Psatz Int63 Nnat ZArith Misc ProofIrrelevance