/ContradictionHandler.java/1.2/Thu Mar  6 01:08:51 2003//D2006.06.30.23.59.59
/DefaultContradictionHandler.java/1.3/Thu Mar  6 01:08:51 2003//D2006.06.30.23.59.59
/Demo.java/1.8/Wed Mar  9 14:46:09 2005//D2006.06.30.23.59.59
/Makefile/1.1/Mon Jun  3 19:42:20 2002//D2006.06.30.23.59.59
/TMSContradiction.java/1.2/Thu Mar  6 01:08:51 2003//D2006.06.30.23.59.59
/TMSGraphGenerator.java/1.7/Mon Oct 13 03:10:11 2003//D2006.06.30.23.59.59
/TMSGraphPanel.java/1.4/Thu Feb 24 22:15:03 2005//D2006.06.30.23.59.59
/TMSGrappaClickListener.java/1.2/Thu Mar  6 01:08:51 2003//D2006.06.30.23.59.59
/TMSGrappaListener.java/1.4/Thu Jan 27 22:15:09 2005//D2006.06.30.23.59.59
/TMSNode.java/1.21/Thu Jan 27 22:15:09 2005//D2006.06.30.23.59.59
/TruthMaintenanceSystem.java/1.36/Thu Jan 27 22:15:09 2005//D2006.06.30.23.59.59
/tms-client.lcf/1.1/Mon Jun  3 19:42:21 2002//D2006.06.30.23.59.59
D
