Index of /ocaml/logica/convert

	Name	Last modified	Size	Description
	Parent Directory		-
	LEGGIMI	23-Oct-2002 14:39	2.1K
	convert	24-Oct-2002 13:59	204K
	convert.exe	12-Jan-2006 16:01	255K
	formule	24-Oct-2002 14:35	365
	sources/	24-Oct-2002 14:35	-