Index of /teaching/courses/propm/ML/CNF
CNFconversion.txt
cnf_imp.sml
cnf_label.sml
cnf_test.sml
eval.sml
prop.sml