Index of /alpt/math/appunti/sorgenti/logica/computazionale/dputnam/varie

	Name	Last modified	Size	Description
	Parent Directory		-
	T2.cnf	2009-02-11 17:42	1.1K
	T.cnf	2009-02-11 15:53	1.2K
	T1.cnf	2009-02-11 17:17	1.2K
	T	2009-02-11 15:50	1.4K
	T1	2009-02-11 17:15	1.4K