Renaming

build.gradle

build.xml

src/main/java/de/tlc4b/TLC4B.java

src/main/java/de/tlc4b/TLC4BGlobals.java

src/main/java/de/tlc4b/TLCRunner.java

src/main/java/de/tlc4b/Translator.java

src/main/java/de/tlc4b/analysis/Ast2String.java

src/main/java/de/tlc4b/analysis/ConstantsEliminator.java

src/main/java/de/tlc4b/analysis/ConstantsEvaluator.java

src/main/java/de/tlc4b/analysis/DefinitionsAnalyser.java

src/main/java/de/tlc4b/analysis/DefinitionsOrder.java

src/main/java/de/tlc4b/analysis/MachineContext.java

src/main/java/de/tlc4b/analysis/NotSupportedConstructs.java

src/main/java/de/tlc4b/analysis/PrecedenceCollector.java

src/main/java/de/tlc4b/analysis/PrimedNodesMarker.java

src/main/java/de/tlc4b/analysis/Renamer.java

src/main/java/de/tlc4b/analysis/StandardMadules.java

src/main/java/de/tlc4b/analysis/Typechecker.java

src/main/java/de/tlc4b/analysis/UsedStandardModules.java

src/main/java/de/tlc4b/analysis/nodes/ElementOfNode.java