Lines Matching defs:problems
18 use "problems.sml";
29 fun checkProblems (problems : problem list) =
37 val names = sort String.compare (List.map #name problems)
113 description = "restrict to the problems in collection C",
119 description = "just list the problems",
137 "Outputs the set of sample problems in TPTP format.\n",
156 val problems =
158 NONE => problems
159 | SOME c => List.filter (isCollection c) problems
161 val () = checkProblems problems
165 ListMode => app listProblem problems
166 | OutputMode => app (outputProblem (!OUTPUT_DIRECTORY)) problems