Lines Matching defs:results
17 fun RES_ALL_PRECONDS_WITH_MARK asms results [] = results
18 | RES_ALL_PRECONDS_WITH_MARK asms results (thm::thms) =
23 RES_ALL_PRECONDS_WITH_MARK asms results (append new_thms thms)
26 val is_old = List.exists (fn thm'' => aconv (concl thm') (concl thm'')) results
27 val results' = if is_old then results else thm'::results
29 RES_ALL_PRECONDS_WITH_MARK asms results' thms
31 RES_ALL_PRECONDS_WITH_MARK asms results thms