Index of /teaching/courses/propm/ML/CNF

	Name	Last modified	Size	Description
	CNFconversion.txt	2006-05-12 04:20	667
	cnf_imp.sml	2006-05-12 04:20	1.4K
	cnf_label.sml	2006-05-12 04:20	1.0K
	cnf_test.sml	2006-05-12 04:20	803
	eval.sml	2006-05-12 04:20	4.2K
	prop.sml	2006-05-12 04:20	513