/BottomUpClosure.cpp/1.118/Wed Apr 19 15:33:35 2006//
/CompleteBottomUp.cpp/1.34/Sun Jan 22 23:19:18 2006//
/DataStructure.cpp/1.245/Wed Apr 19 15:34:34 2006//
/DataStructureAA.cpp/1.38/Thu Apr 21 21:07:28 2005//
/DataStructureOpt.cpp/1.12/Thu Apr 21 21:07:28 2005//
/DataStructureStats.cpp/1.20/Sun Jan 22 23:19:18 2006//
/EquivClassGraphs.cpp/1.46/Sun Jan 22 23:19:18 2006//
/GraphChecker.cpp/1.19/Mon Oct 24 00:38:38 2005//
/Local.cpp/1.150/Wed Apr 19 15:34:02 2006//
/Makefile/1.5/Mon Oct 24 01:08:20 2005//
/Printer.cpp/1.83/Thu Apr 21 21:07:28 2005//
/Steensgaard.cpp/1.62/Sun Jan 22 22:52:03 2006//
/TopDownClosure.cpp/1.90/Sun Jan 22 23:19:18 2006//
D
