/ContradictionHandler.java/1.4/Thu Mar  6 00:40:39 2003//
/DBClass.java/1.3/Thu Mar  6 00:40:39 2003//
/Datum.java/1.5/Thu Mar  6 00:40:39 2003//
/Fact.java/1.6/Thu Mar  6 00:40:39 2003//
/FactFetcher.java/1.2/Thu Mar  6 00:40:39 2003//
/InternalRule.java/1.5/Thu Mar  6 00:40:39 2003//
/JTMS.java/1.6/Thu Mar  6 00:40:39 2003//
/JTMSTest.java/1.4/Thu Mar  6 00:40:39 2003//
/JTRE.java/1.7/Thu Feb 17 21:40:55 2005//
/JTRETest.java/1.6/Thu Feb 17 21:40:54 2005//
/Justification.java/1.4/Thu Mar  6 00:40:39 2003//
/Makefile/1.3/Thu Jun  8 19:20:30 2000//
/Node.java/1.6/Thu Mar  6 00:40:39 2003//
/Rule.java/1.3/Thu Mar  6 00:40:39 2003//
/RuleApplication.java/1.2/Thu Mar  6 00:40:39 2003//
/Thunk.java/1.2/Thu Mar  6 00:40:39 2003//
/files/1.8/Thu Sep 12 21:41:59 2002//
D/gui////
