Index of /xml/Montevideo/CtlTctl/ctl

	Name	Last modified	Size	Description
	Parent Directory		-
	Always.con.body.xml.gz	2004-04-08 18:18	644
	Always.con.types.xml.gz	2004-04-08 18:18	197
	Always.con.xml.gz	2004-04-08 18:18	456
	Conj_S.con.body.xml.gz	2004-04-08 18:18	11K
	Conj_S.con.types.xml.gz	2004-04-08 18:18	13K
	Conj_S.con.xml.gz	2004-04-08 18:18	783
	ConsTrace.con.body.xml.gz	2004-04-08 18:18	16K
	ConsTrace.con.types.xml.gz	2004-04-08 18:18	22K
	ConsTrace.con.xml.gz	2004-04-08 18:18	757
	EX_Until.ind.types.xml.gz	2004-04-08 18:18	200
	EX_Until.ind.xml.gz	2004-04-08 18:18	870
	EX_Until_ind.con.body.xml.gz	2004-04-08 18:18	899
	EX_Until_ind.con.types.xml.gz	2004-04-08 18:18	798
	EX_Until_ind.con.xml.gz	2004-04-08 18:18	783
	Equiv1.con.body.xml.gz	2004-04-08 18:18	3.2K
	Equiv1.con.types.xml.gz	2004-04-08 18:18	3.3K
	Equiv1.con.xml.gz	2004-04-08 18:18	690
	Equiv2.con.body.xml.gz	2004-04-08 18:18	2.7K
	Equiv2.con.types.xml.gz	2004-04-08 18:18	3.0K
	Equiv2.con.xml.gz	2004-04-08 18:18	688
	Equiv3.con.body.xml.gz	2004-04-08 18:18	21K
	Equiv3.con.types.xml.gz	2004-04-08 18:18	23K
	Equiv3.con.xml.gz	2004-04-08 18:18	755
	Equiv4.con.body.xml.gz	2004-04-08 18:18	24K
	Equiv4.con.types.xml.gz	2004-04-08 18:18	27K
	Equiv4.con.xml.gz	2004-04-08 18:18	765
	ExistsS.ind.types.xml.gz	2004-04-08 18:18	196
	ExistsS.ind.xml.gz	2004-04-08 18:18	899
	ExistsS_ind.con.body.xml.gz	2004-04-08 18:18	1.5K
	ExistsS_ind.con.types.xml.gz	2004-04-08 18:18	1.4K
	ExistsS_ind.con.xml.gz	2004-04-08 18:18	908
	FA_Until.con.body.xml.gz	2004-04-08 18:18	689
	FA_Until.con.types.xml.gz	2004-04-08 18:18	202
	FA_Until.con.xml.gz	2004-04-08 18:18	491
	ForAllS.ind.types.xml.gz	2004-04-08 18:18	198
	ForAllS.ind.xml.gz	2004-04-08 18:18	833
	INDEX	2005-07-05 08:11	1.2K
	Inevitable.con.body.xml.gz	2004-04-08 18:18	649
	Inevitable.con.types.xml.gz	2004-04-08 18:18	201
	Inevitable.con.xml.gz	2004-04-08 18:18	460
	Mon_I_EX_S.con.body.xml.gz	2004-04-08 18:18	1.5K
	Mon_I_EX_S.con.types.xml.gz	2004-04-08 18:18	1.6K
	Mon_I_EX_S.con.xml.gz	2004-04-08 18:18	723
	Mon_I_S.con.body.xml.gz	2004-04-08 18:18	2.2K
	Mon_I_S.con.types.xml.gz	2004-04-08 18:18	1.9K
	Mon_I_S.con.xml.gz	2004-04-08 18:18	714
	OneStep_EX.con.body.xml.gz	2004-04-08 18:18	662
	OneStep_EX.con.types.xml.gz	2004-04-08 18:18	764
	OneStep_EX.con.xml.gz	2004-04-08 18:18	657
	Posible.ind.types.xml.gz	2004-04-08 18:18	196
	Posible.ind.xml.gz	2004-04-08 18:18	791
	Posible_ind.con.body.xml.gz	2004-04-08 18:18	837
	Posible_ind.con.types.xml.gz	2004-04-08 18:18	748
	Posible_ind.con.xml.gz	2004-04-08 18:18	729
	SafePath.ind.types.xml.gz	2004-04-08 18:18	199
	SafePath.ind.xml.gz	2004-04-08 18:18	794
	SafePath_ind.con.body.xml.gz	2004-04-08 18:18	842
	SafePath_ind.con.types.xml.gz	2004-04-08 18:18	749
	SafePath_ind.con.xml.gz	2004-04-08 18:18	732
	TemporalOperators_CTL/	2005-07-05 08:13	-
	Until.ind.types.xml.gz	2004-04-08 18:18	193
	Until.ind.xml.gz	2004-04-08 18:18	1.1K
	Until_ind.con.body.xml.gz	2004-04-08 18:18	1.7K
	Until_ind.con.types.xml.gz	2004-04-08 18:18	1.6K
	Until_ind.con.xml.gz	2004-04-08 18:18	1.0K
	isTrace.ind.types.xml.gz	2004-04-08 18:18	197
	isTrace.ind.xml.gz	2004-04-08 18:18	1.1K
	isTraceFrom.con.body.xml.gz	2004-04-08 18:18	610
	isTraceFrom.con.types.xml.gz	2004-04-08 18:18	205
	isTraceFrom.con.xml.gz	2004-04-08 18:18	429
	notPosible.con.body.xml.gz	2004-04-08 18:18	1.5K
	notPosible.con.types.xml.gz	2004-04-08 18:18	1.5K
	notPosible.con.xml.gz	2004-04-08 18:18	822
	not_EX.con.body.xml.gz	2004-04-08 18:18	826
	not_EX.con.types.xml.gz	2004-04-08 18:18	1.2K
	not_EX.con.xml.gz	2004-04-08 18:18	702