Index of /courses/cl/videos

	Name	Last modified	Size	Description
	Parent Directory		-
	SizeIndCoq.mp4	2014-07-18 15:17	48M
	SizeInd.mp4	2014-07-18 15:17	6.2M
	TableauExample1.mp4	2014-07-18 15:17	4.7M
	rpandelT.mp4	2014-03-05 15:18	15M
	rpandel.mp4	2014-03-05 15:18	14M
	TripleNegTab.mp4	2014-03-05 15:18	9.4M
	TripleNegCoq.mp4	2014-03-05 15:18	24M
	OrAndDistrTab.mp4	2014-03-05 15:18	23M
	OrAndDistrCoq.mp4	2014-03-05 15:18	58M
	Natpluscomtablet.mp4	2014-03-05 15:18	14M
	Natpluscom.mp4	2014-03-05 15:18	27M
	CurryHoward1Tab.mp4	2014-03-05 15:18	23M
	CurryHoward1Coq.mp4	2014-03-05 15:18	51M
	CoqLeib1d.mp4	2014-03-05 15:17	13M
	CantorTab.mp4	2014-03-05 15:17	18M
	CantorCoq.mp4	2014-03-05 15:17	27M