/Action.java/1.1.1.1/Thu Oct  9 10:55:36 2003//
/Done.java/1.1.1.1/Thu Oct  9 10:55:36 2003//
/Equals.java/1.1.1.1/Thu Oct  9 10:55:36 2003//
/Result.java/1.1.1.1/Thu Oct  9 10:55:36 2003//
/TrueProposition.java/1.1.1.1/Thu Oct  9 10:55:36 2003//
D
