Index of /fp-syd/coqfight/2014/lemmas

	Name	Last modified	Size	Description
	Parent Directory		-
	A1.vc	2014-04-22 00:51	1.1K
	A2.vc	2014-04-22 00:51	1.0K
	A3.vc	2014-04-22 00:51	1.3K
	A4.vc	2014-04-22 00:51	1.6K
	A5.vc	2014-04-22 00:51	1.2K
	B1.vc	2014-04-21 13:19	1.3K
	B2.vc	2014-04-21 13:19	839
	B3.vc	2014-04-21 13:19	1.5K
	B4.vc	2014-04-21 13:19	949
	B5.vc	2014-04-21 13:19	971
	D1.vc	2014-04-22 09:58	1.0K
	D2.vc	2014-04-22 09:58	896
	D3.vc	2014-04-22 09:58	865
	D4.vc	2014-04-22 09:58	5.3K
	D5.vc	2014-04-22 09:58	4.1K
	L1.vc	2014-04-23 03:10	2.9K
	L2.vc	2014-04-23 03:10	1.7K
	L3.vc	2014-04-23 03:10	1.4K
	L4.vc	2014-04-23 03:10	3.0K
	L5.vc	2014-04-23 03:10	1.7K
	Q1.vc	2014-04-21 13:19	898
	Q2.vc	2014-04-21 13:19	1.0K
	Q3.vc	2014-04-21 13:19	959
	Q4.vc	2014-04-21 13:19	868
	T1.vc	2014-04-22 00:51	1.0K
	T2.vc	2014-04-22 00:51	1.0K
	T3.vc	2014-04-22 00:51	1.1K
	T4.vc	2014-04-22 00:51	1.2K
	T5.vc	2014-04-22 00:51	1.5K