id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc
315	Succ(Succ ..)	mamigo	Víctor de Buen Remiro	"TimeSet UltimoLunes1 = Succ(D(1),-1, WD(1));
TimeSet t2 = Succ(UltimoLunes1,2, WD(1));
No funciona"	defect	closed	highest		TimeSetAlgebra	head	normal	fixed