/AuxiliarPrintVisitor.java/1.2/Wed Jul 25 18:51:41 2007//
/AuxiliarSaveVisitor.java/1.2/Mon May  4 02:14:03 2009//
/BindingGetterVisitor.java/1.4/Fri Feb 22 17:47:27 2008//
/ChildrenTermExtractor.java/1.5/Wed Feb 13 20:54:39 2008//
/ClonerVisitor.java/1.15/Thu Mar  5 19:40:32 2009//
/CodParamVisitor.java/1.8/Tue Jan  8 22:17:41 2008//
/ComparatorVisitor.java/1.4/Sat Jun 14 13:04:03 2008//
/EqualsTermsUtils.java/1.1/Wed Mar 18 14:22:37 2009//
/JokerNameGetterVisitor.java/1.7/Fri Feb 22 17:47:27 2008//
/JokersGetterVisitor.java/1.5/Fri Jan 11 20:19:49 2008//
/ListTermCompareVisitor.java/1.3/Tue Oct  2 14:06:20 2007//
/POLog.java/1.1/Tue Oct 21 19:26:25 2008//
/ParaNameGetter.java/1.6/Wed Feb 20 14:19:53 2008//
/PercolateASTVisitor.java/1.7/Wed Nov  7 12:56:41 2007//
/RealTermGetter.java/1.1/Tue Sep 18 01:11:58 2007//
/SchFunctionsRepresentationTransformer.java/1.2/Tue Apr  1 21:10:07 2008//
/SelectionTermByStackVisitor.java/1.2/Fri Nov 30 21:08:58 2007//
/SelectionTermVisitor.java/1.8/Fri May  9 18:45:05 2008//
/TermoColetado.java/1.3/Mon Feb 16 18:38:53 2009//
/TesteTermVisitor.java/1.1/Fri Oct 23 19:57:31 2009//
/Text.java/1.2/Fri Dec  7 17:14:43 2007//
