/ActionFromANameGetter.java/1.15/Fri Jun 17 14:05:51 2011//
/ChannelSetFromATermGetter.java/1.1/Fri Feb 15 21:10:36 2008//
/CheckRecursitivity.java/1.2/Wed Mar 18 14:22:37 2009//
/CodNameLaws.java/1.5/Tue Jan 12 12:13:59 2010//
/ContainsTermTester.java/1.1/Wed Feb 13 20:54:39 2008//
/DashedTerm.java/1.2/Tue Jan 26 14:14:00 2010//
/DeclUtils.java/1.1/Wed Oct  7 20:28:51 2009//
/DefinitionFromATermGetter.java/1.16/Tue Dec  8 11:44:20 2009//
/ExpressionFromATermGetter.java/1.8/Mon May 19 14:27:11 2008//
/FreeOccurrencesExprFromActionGetter.java/1.3/Wed Dec 30 18:53:47 2009//
/HierarchyLawsTree.java/1.6/Fri Nov 12 12:36:54 2010//
/LawTypeAnnUtils.java/1.1/Mon Feb 11 12:57:57 2008//
/NameFromAnActionGetter.java/1.14/Fri Jun 17 14:06:08 2011//
/NameSetFromATermGetter.java/1.1/Fri Feb 15 21:10:36 2008//
/NamesDecFinder.java/1.1/Thu Oct 22 20:29:52 2009//
/NamesFinder.java/1.5/Thu Oct 22 20:29:52 2009//
/NodeHierarchyLaws.java/1.2/Mon Feb 11 20:27:31 2008//
/NodeTypeLaws.java/1.1/Mon Feb 11 20:27:31 2008//
/NormalASTGenerator.java/1.1/Thu Apr 24 13:43:32 2008//
/NormalizationApplicationException.java/1.3/Mon Jul  7 15:05:19 2008//
/NormalizeApplier.java/1.22/Mon Jun 20 03:41:27 2011//
/ParaListGetter.java/1.3/Mon Jan 14 18:46:24 2008//
/PreConditionFromBasicSchemaGetter.java/1.1/Wed Oct  7 20:28:51 2009//
/ProcessFromMainActionMounter.java/1.3/Fri Jun 17 14:06:08 2011//
/ProcessOfANameGetter.java/1.2/Thu Apr 24 13:43:32 2008//
/ProcessOfATermGetter.java/1.5/Wed Feb 13 20:54:39 2008//
/ProcessParaFromAParaListGetter.java/1.1/Fri Apr 18 19:09:03 2008//
/ProcessesMounter.java/1.20/Wed Dec 30 18:53:47 2009//
/RestrictionsGetter.java/1.1/Tue Jan 26 14:14:01 2010//
/SchemaNamesSubstituteToDefinition.java/1.1/Wed Jan 16 19:46:24 2008//
/TermFromANameGetter.java/1.12/Fri Jun 17 14:06:08 2011//
/TypeLawsTree.java/1.3/Tue Feb 12 19:25:07 2008//
