id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc
610	TimeSet Succ bug...	Víctor de Buen Remiro	Víctor de Buen Remiro	"(Lost original message sent by fmunoz)

TimeSet CtSem445 =
D(1)*M(1)+WD(6)-(D(2)+D(3))*M(1)-(D(31)+D(30)+D(29)+D(28)+D(27))*M(12);

 TimeSet tmsucc1 = Succ(M(1)*D(1),1, CtSem445 );
//Works Ok,  tmsucc1 *Y (2008) = y2008m01d05

 TimeSet tmsucc2 = Succ(M(1)*D(1),2, CtSem445 );
//Error, no date for 2008. It should contain y2008m01d12

 TimeSet tmsuc32 = Succ(M(1)*D(1),3, CtSem445 );
//Works Ok"	defect	closed	highest		TimeSetAlgebra	head	blocker	fixed