Index of /cofi/CASL-CD/Tools/Hets/src/ToHaskell/example

	Name	Last modified	Size	Description
	Parent Directory		-
	BoolEx.hascasl	2004-11-17 12:51	676
	translateAll	2004-11-17 12:51	158
	ListEx.hascasl	2004-11-17 12:51	70
	NatEx.hascasl	2004-11-17 12:51	59