Index of /ocaml/logica/truthtable

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