equal
deleted
inserted
replaced
66 val rel_unfolds_of = #rel_unfolds; |
66 val rel_unfolds_of = #rel_unfolds; |
67 val pred_unfolds_of = #pred_unfolds; |
67 val pred_unfolds_of = #pred_unfolds; |
68 |
68 |
69 val bdTN = "bdT"; |
69 val bdTN = "bdT"; |
70 |
70 |
71 val compN = "comp_" |
|
72 fun mk_killN n = "kill" ^ string_of_int n ^ "_"; |
71 fun mk_killN n = "kill" ^ string_of_int n ^ "_"; |
73 fun mk_liftN n = "lift" ^ string_of_int n ^ "_"; |
72 fun mk_liftN n = "lift" ^ string_of_int n ^ "_"; |
74 fun mk_permuteN src dest = |
73 fun mk_permuteN src dest = |
75 "permute_" ^ implode (map string_of_int src) ^ "_" ^ implode (map string_of_int dest) ^ "_"; |
74 "permute_" ^ implode (map string_of_int src) ^ "_" ^ implode (map string_of_int dest) ^ "_"; |
76 |
75 |