changeset 4652 | d24cca140eeb |
parent 4651 | 70dd492a1698 |
child 4658 | 92d43c239398 |
4651:70dd492a1698 | 4652:d24cca140eeb |
---|---|
49 val action_cs = op addss action_css; |
49 val action_cs = op addss action_css; |
50 |
50 |
51 |
51 |
52 AddSIs [actionI,intI]; |
52 AddSIs [actionI,intI]; |
53 AddDs [actionD,intD]; |
53 AddDs [actionD,intD]; |
54 Addss (simpset()); |
54 claset_ref() := claset() addss (simpset()); |
55 |
55 |
56 |
56 |
57 |
57 |