Index of /xml/Nijmegen/QArith/Merge_Order

	Name	Last modified	Size	Description
	Parent Directory		-
	General_Order/	2005-07-05 08:13	-
	Merge_Order/	2005-07-05 08:13	-
	Negation_Order/	2005-07-05 08:13	-
	order.con.types.xml.gz	2004-04-08 15:28	200
	wfcrr.con.types.xml.gz	2004-04-08 15:28	200
	wf_ind.con.types.xml.gz	2004-04-08 15:28	202
	is_order.con.types.xml.gz	2004-04-08 15:28	204
	merge_le.con.types.xml.gz	2004-04-08 15:28	204
	merge_lt.con.types.xml.gz	2004-04-08 15:28	204
	equality.con.types.xml.gz	2004-04-08 15:28	206
	is_equality.con.types.xml.gz	2004-04-08 15:28	212
	well_ordering.ind.types.xml.gz	2004-04-08 15:28	213
	is_well_def_lft.con.types.xml.gz	2004-04-08 15:28	217
	is_well_def_rht.con.types.xml.gz	2004-04-08 15:28	217
	well_ordering_rec.con.types.xml.gz	2004-04-08 15:28	220
	well_ordering_rect.con.types.xml.gz	2004-04-08 15:28	222
	wf_ind.con.xml.gz	2004-04-08 15:28	250
	is_order.con.xml.gz	2004-04-08 15:28	251
	is_equality.con.xml.gz	2004-04-08 15:28	259
	is_well_def_lft.con.xml.gz	2004-04-08 15:28	269
	is_well_def_rht.con.xml.gz	2004-04-08 15:28	269
	wfcrr.con.xml.gz	2004-04-08 15:28	305
	order.con.xml.gz	2004-04-08 15:28	402
	equality.con.xml.gz	2004-04-08 15:28	409
	merge_lt.con.xml.gz	2004-04-08 15:28	409
	merge_le.con.xml.gz	2004-04-08 15:28	418
	well_ordering_rec.con.body.xml.gz	2004-04-08 15:28	429
	well_ordering_ind.con.body.xml.gz	2004-04-08 15:28	430
	is_ord.con.xml.gz	2004-04-08 15:28	450
	is_eq.con.xml.gz	2004-04-08 15:28	453
	ord_is_wf.con.xml.gz	2004-04-08 15:28	456
	is_well_def_lft.con.body.xml.gz	2004-04-08 15:28	492
	is_well_def_rht.con.body.xml.gz	2004-04-08 15:28	496
	ord_wd_rht.con.xml.gz	2004-04-08 15:28	498
	order_lt_le_weak.con.xml.gz	2004-04-08 15:28	517
	wf_ind.con.body.xml.gz	2004-04-08 15:28	581
	is_order.con.body.xml.gz	2004-04-08 15:28	610
	merge_lt.con.body.xml.gz	2004-04-08 15:28	618
	merge_le.con.body.xml.gz	2004-04-08 15:28	641
	is_equality.con.body.xml.gz	2004-04-08 15:28	696
	well_ordering.ind.xml.gz	2004-04-08 15:28	773
	merge_lt_wf.con.xml.gz	2004-04-08 15:28	802
	wfcrr.con.body.xml.gz	2004-04-08 15:28	863
	order.con.body.xml.gz	2004-04-08 15:28	943
	equality.con.body.xml.gz	2004-04-08 15:28	945
	well_ordering_rec.con.xml.gz	2004-04-08 15:28	945
	well_ordering_rect.con.xml.gz	2004-04-08 15:28	951
	well_ordering_ind.con.xml.gz	2004-04-08 15:28	952
	is_ord.con.body.xml.gz	2004-04-08 15:28	1.0K
	ord_is_wf.con.body.xml.gz	2004-04-08 15:28	1.0K
	is_eq.con.body.xml.gz	2004-04-08 15:28	1.0K
	ord_wd_rht.con.body.xml.gz	2004-04-08 15:28	1.0K
	INDEX	2005-07-05 08:11	1.0K
	well_ordering_rect.con.body.xml.gz	2004-04-08 15:28	1.1K
	well_ordering_ind.con.types.xml.gz	2004-04-08 15:28	1.3K
	is_ord.con.types.xml.gz	2004-04-08 15:28	1.3K
	is_eq.con.types.xml.gz	2004-04-08 15:28	1.3K
	ord_is_wf.con.types.xml.gz	2004-04-08 15:28	1.3K
	order_lt_le_weak.con.body.xml.gz	2004-04-08 15:28	1.3K
	ord_wd_rht.con.types.xml.gz	2004-04-08 15:28	1.5K
	order_lt_le_weak.con.types.xml.gz	2004-04-08 15:28	1.6K
	merge_lt_wf.con.body.xml.gz	2004-04-08 15:28	7.7K
	merge_lt_wf.con.types.xml.gz	2004-04-08 15:28	7.7K