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