Index of /~mptp/7.13.01_4.181.1147/prel/d

	Name	Last modified	Size	Description
	Parent Directory		-
	domain_1.dcl	2012-02-17 15:39	568
	dickson.sch	2012-02-17 15:39	968
	dilworth.sch	2012-02-17 15:39	1.0K
	dynkin.dcl	2012-02-17 15:39	1.2K
	dirort.dcl	2012-02-17 15:39	1.4K
	diraf.dcl	2012-02-17 15:39	1.4K
	diff_2.dco	2012-02-17 15:39	1.9K
	diff_2.dno	2012-02-17 15:39	2.4K
	dtconstr.dcl	2012-02-17 15:39	2.6K
	diff_2.def	2012-02-17 15:39	3.0K
	diff_1.dcl	2012-02-17 15:39	3.1K
	diraf.dco	2012-02-17 15:39	3.6K
	dirort.dco	2012-02-17 15:39	3.6K
	dist_1.dcl	2012-02-17 15:39	3.9K
	descip_1.dcl	2012-02-17 15:39	4.4K
	dilworth.dco	2012-02-17 15:39	4.6K
	descip_1.sch	2012-02-17 15:39	4.7K
	dirort.dno	2012-02-17 15:39	5.6K
	dist_1.dco	2012-02-17 15:39	5.6K
	diraf.dno	2012-02-17 15:39	6.1K
	dist_1.dno	2012-02-17 15:39	6.1K
	dynkin.dco	2012-02-17 15:39	6.3K
	dynkin.dno	2012-02-17 15:39	6.4K
	dickson.dcl	2012-02-17 15:39	6.7K
	dickson.dno	2012-02-17 15:39	7.0K
	domain_1.sch	2012-02-17 15:39	7.0K
	dickson.dco	2012-02-17 15:39	7.0K
	dilworth.dno	2012-02-17 15:39	7.9K
	diff_1.dco	2012-02-17 15:39	8.7K
	dynkin.def	2012-02-17 15:39	8.7K
	diff_1.dno	2012-02-17 15:39	10K
	domain_1.dco	2012-02-17 15:39	10K
	dilworth.dcl	2012-02-17 15:39	11K
	domain_1.dno	2012-02-17 15:39	11K
	dtconstr.dco	2012-02-17 15:39	11K
	dist_1.def	2012-02-17 15:39	12K
	dtconstr.dno	2012-02-17 15:39	12K
	dilworth.def	2012-02-17 15:39	12K
	diraf.def	2012-02-17 15:39	13K
	dirort.def	2012-02-17 15:39	14K
	diff_1.def	2012-02-17 15:39	14K
	dickson.def	2012-02-17 15:39	16K
	decomp_1.dno	2012-02-17 15:39	19K
	descip_1.dno	2012-02-17 15:39	23K
	descip_1.dco	2012-02-17 15:39	24K
	decomp_1.dco	2012-02-17 15:39	24K
	dtconstr.def	2012-02-17 15:39	24K
	dynkin.the	2012-02-17 15:39	29K
	dist_1.the	2012-02-17 15:39	30K
	decomp_1.def	2012-02-17 15:39	35K
	dtconstr.sch	2012-02-17 15:39	37K
	domain_1.the	2012-02-17 15:39	42K
	dtconstr.the	2012-02-17 15:39	50K
	dirort.the	2012-02-17 15:39	52K
	dickson.the	2012-02-17 15:39	58K
	dilworth.the	2012-02-17 15:39	61K
	decomp_1.the	2012-02-17 15:39	63K
	diff_1.the	2012-02-17 15:39	69K
	diff_4.the	2012-02-17 15:39	85K
	diff_2.the	2012-02-17 15:39	86K
	diraf.the	2012-02-17 15:39	87K
	diff_3.the	2012-02-17 15:39	156K
	descip_1.def	2012-02-17 15:39	167K
	descip_1.the	2012-02-17 15:39	401K