/CheckMarkRecognizer.java/1.1/Fri Dec  7 21:47:38 2001//
/Makefile/1.2/Fri Dec  7 20:05:02 2001//
/NonTerminal.java/1.2/Mon Nov 26 18:28:59 2001//
/SequenceTerminal.java/1.1/Fri Nov 23 03:23:49 2001//
/Terminal.java/1.2/Mon Nov 26 18:28:59 2001//
D/me////
