Lines Matching defs:parameters
18 (* Mapping parameters *)
19 type parameters =
23 val defaults : parameters
24 val update_higher_order : (bool -> bool) -> parameters -> parameters
25 val update_with_types : (bool -> bool) -> parameters -> parameters
28 val hol_literals_to_fol : parameters -> vars * term list -> formula1 list
31 val hol_thm_to_fol : parameters -> vars * thm -> thm1
37 val fol_thms_to_hol : parameters -> Axioms -> Pattern -> thm1 list -> Result