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

	Name	Last modified	Size	Description
	Parent Directory		-
	knaster.dcl	2012-02-17 15:38	2.4K
	knaster.dco	2012-02-17 15:38	9.9K
	knaster.def	2012-02-17 15:38	18K
	knaster.dno	2012-02-17 15:38	11K
	knaster.sch	2012-02-17 15:38	930
	knaster.the	2012-02-17 15:38	80K
	kolmog01.dcl	2012-02-17 15:38	3.0K
	kolmog01.dco	2012-02-17 15:38	11K
	kolmog01.def	2012-02-17 15:38	17K
	kolmog01.dno	2012-02-17 15:38	11K
	kolmog01.the	2012-02-17 15:38	45K
	kurato_0.dcl	2012-02-17 15:38	3.4K
	kurato_0.dco	2012-02-17 15:38	5.3K
	kurato_0.def	2012-02-17 15:38	6.3K
	kurato_0.dno	2012-02-17 15:38	6.8K
	kurato_0.the	2012-02-17 15:38	34K
	kurato_1.dcl	2012-02-17 15:38	9.0K
	kurato_1.dco	2012-02-17 15:38	4.3K
	kurato_1.def	2012-02-17 15:38	15K
	kurato_1.dno	2012-02-17 15:38	4.9K
	kurato_1.the	2012-02-17 15:38	49K
	kurato_2.dcl	2012-02-17 15:38	2.8K
	kurato_2.dco	2012-02-17 15:38	2.0K
	kurato_2.def	2012-02-17 15:38	4.6K
	kurato_2.dno	2012-02-17 15:38	3.2K
	kurato_2.the	2012-02-17 15:38	77K