Index of /pub/miplib

	Name	Last modified	Size	Description
	Parent Directory		-
	src/	2008-07-09 12:27	-
	references	2008-07-09 12:27	4.1K
	mps_format	2008-07-09 12:27	4.5K
	miplib.tar.Z	2008-07-09 12:27	3.0M
	miplib.cat	2008-07-09 12:27	13K
	index	2008-07-09 12:27	289