Lines Matching defs:setup
2527 fun setup target name =
2540 let val (conc,list) = setup target name
2544 fun exists_coding_theorem_conclusion target name = isSome(!(fst(setup target name)))
2545 fun get_coding_theorem_conclusion target name = valOf(!(fst(setup target name)))
2547 let val (conc,list) = setup target name
2560 fun setup name =
2569 let val (conc,list) = setup name
2572 fun exists_source_theorem_conclusion name = isSome(!(fst(setup name)))
2573 fun get_source_theorem_conclusion name = valOf(!(fst(setup name)))
2575 let val (conc,list) = setup name