* For details, see the HELM World-Wide-Web page,
* http://cs.unibo.it/helm/.
*)
-
-val is_eliminator: Cic.term list -> bool
+(*
+val is_eliminator: (Cic.context * Cic.term) list -> bool
val bkd: Cic.context -> Cic.term -> bool
-
-val is_appl: bool -> Cic.term -> bool
+*)