Lines Matching defs:acc
183 fun checkLit (lit',acc) =
185 NONE => acc
186 | SOME sub => (lits,sub) :: acc
374 fun addProof (th,(ths,acc)) =
379 NONE => (ths,acc)
383 val (ths,acc) = List.foldl addProof (ths,acc) pars
385 val acc = (th, thmToInference th) :: acc
387 (ths,acc)
393 val (ths,acc) = addProof (th,(ths,[]))
398 List.rev acc