Product.hascasl revision ce2aa52cf67a45b753e1695a46d0ba8400934fa7
ce2aa52cf67a45b753e1695a46d0ba8400934fa7Jonathan von Schroeder SWPoint ::= SWPoint(x:Real;y:Real;z:Real);
ce2aa52cf67a45b753e1695a46d0ba8400934fa7Jonathan von Schroederop p1:SWPoint=SWPoint(0,0,0)