Index of /kepa/experiments/tacas99

	Name	Last modified	Size	Description
	Parent Directory		-
	README	11-Dec-1998 17:02	5.6K
	dlsmodels.tar.gz	25-Sep-1998 15:41	256K
	example_nets.tar.gz	25-Sep-1998 15:22	539K
	example_prefixes.tar.gz	25-Sep-1998 15:32	5.9M
	read_me.txt	11-Dec-1998 17:03	5.6K