domir-package	domir-package
domin	domin
domir	domir
domir.formula	domir
domir.formula_list	domir
fmllst2Fml	fmllst2Fml
formula_list	formula_list
print.domin	print.domin
print.domir	print.domir
summary.domin	summary.domin
summary.domir	summary.domir
