[Xsb-commits] FLORA-2 commit: XSB/packages/flora2/closure

[Michael K. <ki...@us...>]

Update of /cvsroot/xsb/XSB/packages/flora2/closure
In directory usw-pr-cvs1:/tmp/cvs-serv7608/packages/flora2/closure

Modified Files:
	NMakefile.mak Makefile 
Log Message:
Chang's implementation of undefinedness
Other small fixes