Index of /ocaml/logica/truthtable

	Name	Last modified	Size	Description
	Parent Directory		-
	LEGGIMI	2002-12-09 11:42	1.2K
	formule	2002-12-09 11:43	65
	pierce	2004-12-03 12:54	19
	truthtable	2004-12-03 12:54	206K
	truthtable.exe	2006-01-12 16:03	257K