Index of /logic-classes/Data/Logic/Normal

	Name	Last modified	Size	Description
	Parent Directory		-
	Implicative.hs	2012-06-20 17:45	5.1K
	Clause.hs	2012-01-22 17:30	3.7K