Index of /~asai/book-data/sect21_6

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	2006-10-24 16:33	93
	fac.ml	2008-07-30 15:32	112
	main.ml	2008-07-30 15:32	501