Lines Matching defs:problems
7 (* A type of problems. *)
35 fun mkProblems collection description problems =
36 List.map (mkProblem collection description) problems;
40 (* The collection of problems. *)
43 val problems : problem list =
599 mkProblems "equality" "Equality problems from various sources" [
685 (* Simple equality problems. *)
924 (* Some sample problems from the TPTP archive. *)
928 mkProblems "tptp" "Sample problems from the TPTP collection"
1343 (* Some problems from HOL. *)