Index of /xml/Montevideo/CtlTctl/tctl

	Name	Last modified	Size	Description
	Parent Directory		-
	Always_T.con.body.xml.gz	2004-04-08 18:18	1.1K
	Always_T.con.types.xml.gz	2004-04-08 18:18	202
	Always_T.con.xml.gz	2004-04-08 18:18	552
	ConsTrace_T.con.body.xml.gz	2004-04-08 18:18	25K
	ConsTrace_T.con.types.xml.gz	2004-04-08 18:18	37K
	ConsTrace_T.con.xml.gz	2004-04-08 18:18	934
	EX_Until_bound.ind.types.xml.gz	2004-04-08 18:18	211
	EX_Until_bound.ind.xml.gz	2004-04-08 18:18	1.1K
	EX_Until_bound_ind.con.body.xml.gz	2004-04-08 18:18	1.0K
	EX_Until_bound_ind.con.types.xml.gz	2004-04-08 18:18	922
	EX_Until_bound_ind.con.xml.gz	2004-04-08 18:18	922
	Equiv1_T.con.body.xml.gz	2004-04-08 18:18	11K
	Equiv1_T.con.types.xml.gz	2004-04-08 18:18	12K
	Equiv1_T.con.xml.gz	2004-04-08 18:18	809
	Equiv2_T.con.body.xml.gz	2004-04-08 18:18	10K
	Equiv2_T.con.types.xml.gz	2004-04-08 18:18	12K
	Equiv2_T.con.xml.gz	2004-04-08 18:18	816
	Equiv3_T.con.body.xml.gz	2004-04-08 18:18	39K
	Equiv3_T.con.types.xml.gz	2004-04-08 18:18	54K
	Equiv3_T.con.xml.gz	2004-04-08 18:18	880
	Equiv4_T.con.body.xml.gz	2004-04-08 18:18	47K
	Equiv4_T.con.types.xml.gz	2004-04-08 18:18	69K
	Equiv4_T.con.xml.gz	2004-04-08 18:18	874
	FA_Until_bound.con.body.xml.gz	2004-04-08 18:18	824
	FA_Until_bound.con.types.xml.gz	2004-04-08 18:18	213
	FA_Until_bound.con.xml.gz	2004-04-08 18:18	613
	INDEX	2005-07-05 08:11	1.0K
	Inevitable_T.con.body.xml.gz	2004-04-08 18:18	1.1K
	Inevitable_T.con.types.xml.gz	2004-04-08 18:18	208
	Inevitable_T.con.xml.gz	2004-04-08 18:18	560
	Posible_T.ind.types.xml.gz	2004-04-08 18:18	202
	Posible_T.ind.xml.gz	2004-04-08 18:18	1.3K
	Posible_T_ind.con.body.xml.gz	2004-04-08 18:18	1.3K
	Posible_T_ind.con.types.xml.gz	2004-04-08 18:18	1.2K
	Posible_T_ind.con.xml.gz	2004-04-08 18:18	1.2K
	SafePath_T.ind.types.xml.gz	2004-04-08 18:18	204
	SafePath_T.ind.xml.gz	2004-04-08 18:18	1.3K
	SafePath_T_ind.con.body.xml.gz	2004-04-08 18:18	1.3K
	SafePath_T_ind.con.types.xml.gz	2004-04-08 18:18	1.2K
	SafePath_T_ind.con.xml.gz	2004-04-08 18:18	1.2K
	TemporalOperators_TCTL/	2005-07-05 08:13	-
	Until_bound.ind.types.xml.gz	2004-04-08 18:18	206
	Until_bound.ind.xml.gz	2004-04-08 18:18	1.6K
	Until_bound_ind.con.body.xml.gz	2004-04-08 18:18	2.6K
	Until_bound_ind.con.types.xml.gz	2004-04-08 18:18	2.5K
	Until_bound_ind.con.xml.gz	2004-04-08 18:18	1.5K
	isTraceFrom_T.con.body.xml.gz	2004-04-08 18:18	730
	isTraceFrom_T.con.types.xml.gz	2004-04-08 18:18	210
	isTraceFrom_T.con.xml.gz	2004-04-08 18:18	524
	isTrace_T.ind.types.xml.gz	2004-04-08 18:18	202
	isTrace_T.ind.xml.gz	2004-04-08 18:18	1.7K
	notPosible_T.con.body.xml.gz	2004-04-08 18:18	2.4K
	notPosible_T.con.types.xml.gz	2004-04-08 18:18	2.3K
	notPosible_T.con.xml.gz	2004-04-08 18:18	1.0K