Index of /~cialdea/ocaml/logica/models

	Name	Last modified	Size	Description
	Parent Directory		-
	LEGGIMI	2003-01-30 16:18	2.2K
	models	2014-04-23 09:55	271K
	sample-input	2002-10-29 10:29	1.3K
	sample-input-2	2003-01-30 16:13	480