Lines Matching defs:defs
2248 val (fofs,defs) = fofs_defs
2251 (fofs,defs)
2255 val (fofs,defs) = fofs_defs
2256 val defs = StringMap.insert defs n_d
2258 (fofs,defs)
2262 fun collectSubgoalProofDeps subgoalProof (names,fofs,defs) =
2275 val (fofs,defs) =
2276 List.foldl collectNormalizeDeps (fofs,defs) normalization
2284 (subgoalProof,(names,fofs,defs))
2535 and defs : Formula.formula StringMap.map = StringMap.new ()
2537 val (proofs,(names,fofs,defs)) =
2538 maps collectSubgoalProofDeps proofs (names,fofs,defs)
2549 (formulas,0,fmNames) defs