/CircusRefine.java/1.23/Fri Jun 17 10:56:02 2011//
/CollectAnswer.java/1.1/Sun Jan 13 17:57:41 2008//
/EditCommentAnswer.java/1.1/Sun Jan 13 01:05:32 2008//
/ExternalManager.java/1.223/Mon Jun 20 03:40:53 2011//
/ExternalManagerStacks.java/1.4/Fri Nov 19 03:27:53 2010//
/InsertAnswer.java/1.3/Thu Jun  5 11:46:51 2008//
/InsertCommentAnswer.java/1.2/Thu Feb 21 13:27:54 2008//
/InsertParagraphAnswer.java/1.1/Thu Jun  5 11:46:51 2008//
/InsertParagraphStatus.java/1.1/Thu Jun  5 11:46:51 2008//
/InternalManager.java/1.94/Mon Jun 20 03:41:15 2011//
/LawAnswer.java/1.19/Tue Oct 21 19:26:25 2008//
/LoadAnswer.java/1.2/Wed Jun  4 19:58:33 2008//
/NoPrograma.java/1.7/Sat Jan 12 02:07:37 2008//
/ObrigacaoProva.java/1.13/Tue Dec  8 11:44:20 2009//
/Pair.java/1.1/Wed May 30 16:27:36 2007//
/Relacionamento.java/1.5/Mon Jan 14 14:48:51 2008//
/RemoveCommentAnswer.java/1.3/Thu Feb 21 13:27:54 2008//
/StepAnswer.java/1.1/Fri Jan 11 20:19:49 2008//
/TipoColeta.java/1.4/Wed Feb 18 14:13:06 2009//
D/annotations////
D/astmodifiers////
D/build////
D/clone////
D/context////
D/crules////
D/developments////
D/find////
D/finder////
D/idt////
D/opsdischarge////
D/parseargument////
D/print////
D/printAll////
D/printSMTformat////
D/printUni////
D/relations////
D/specificationeditor////
D/storage////
D/syntacticfunctions////
/t.java/1.1/Fri Nov  5 12:15:37 2010//
/teste.java/1.1/Fri Nov  5 12:21:32 2010//
D/unification////
D/update////
D/util////
