Index of /module-management/testdata/logic/Data/Logic/Instances

	Name	Last modified	Size	Description
	Parent Directory		-
	Chiou.hs	2013-06-18 19:03	13K
	PropLogic.hs	2013-06-18 19:03	4.6K
	SatSolver.hs	2013-06-18 19:03	2.7K