Index of /propositional-classes/Data/Logic/Propositional/Instances

	Name	Last modified	Size	Description
	Parent Directory		-
	DebianRelations.hs	2011-09-26 17:34	3.7K
	Native.hs	2011-09-26 16:20	1.5K
	PropLogic.hs	2011-09-26 16:20	2.9K