Index of /~mptp/7.13.01_4.181.1147/miztmp1/refs/functor2

	Name	Last modified	Size	Description
	Parent Directory		-
	T11	2017-03-30 00:39	2.5K
	T10	2017-03-30 00:39	2.6K
	T9	2017-03-30 00:39	1.9K
	T8	2017-03-30 00:39	1.3K
	T7	2017-03-30 00:39	1.0K
	T6	2017-03-30 00:39	2.5K
	T5	2017-03-30 00:39	1.9K
	T4	2017-03-30 00:39	1.5K
	T3	2017-03-30 00:39	1.9K
	T2	2017-03-30 00:39	1.4K
	T1	2017-03-30 00:39	1.6K
	D11	2017-03-30 00:39	4.5K
	D10	2017-03-30 00:39	1.6K
	D9	2017-03-30 00:39	3.3K
	D8	2017-03-30 00:39	2.3K
	D7	2017-03-30 00:39	3.3K
	D6	2017-03-30 00:39	3.2K
	D5	2017-03-30 00:39	2.9K
	D4	2017-03-30 00:39	2.4K
	D3	2017-03-30 00:39	1.9K
	D2	2017-03-30 00:39	2.3K
	D1	2017-03-30 00:39	1.9K