/Makefile/1.1/Wed Aug 30 22:46:17 2000//
/AttrFROM.java/1.1/Sun Oct 15 21:19:28 2000//
/AttrTO.java/1.1/Sun Oct 15 21:19:35 2000//
/TransitionGraph.java/1.1/Sun Sep  3 21:26:31 2000//
/TRANSITION.java/1.8/Tue Oct 17 22:28:01 2000//
D
