Index of /module-management/testdata/split-expected/Data/Logic/Instances

	Name	Last modified	Size	Description
	Parent Directory		-
	SatSolver.hs	2013-06-27 23:19	2.7K
	PropLogic.hs	2013-06-21 19:31	4.7K
	Chiou.hs	2013-06-21 19:31	13K