Index of /~pastre/muscadet/examples

	Name	Last modified	Size	Description
	Parent Directory		-
	data	29-Nov-2000 00:00	1.7K
	resu_th1	29-Nov-2000 00:00	3.5K
	resu_th2	29-Nov-2000 00:00	8.8K
	resu_th3	29-Nov-2000 00:00	11K
	resu_th4	29-Nov-2000 00:00	10K
	theorems	29-Nov-2000 00:00	1.0K