Index of /kepa/experiments/tacas99

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