C: » dev » sandbox » xsb_release » XSB » packages » CDF » theoremprover

tp_debug.h

00001 
00002 #define DEBUG 1
00003 #define FILES 1
Generated on Wed Jul 26 13:30:44 2006 for XSB by  doxygen 1.4.5