initial commit

build.gradle

src/main/java/de/tla2b/analysis/BOperation.java

src/main/java/de/tla2b/analysis/InstanceTransformation.java

src/main/java/de/tla2b/analysis/RecursiveFunktion.java

src/main/java/de/tla2b/analysis/SpecAnalyser.java

src/main/java/de/tla2b/analysis/SymbolRenamer.java

src/main/java/de/tla2b/analysis/SymbolSorter.java

src/main/java/de/tla2b/analysis/TypeChecker.java

src/main/java/de/tla2b/config/ConfigfileEvaluator.java

src/main/java/de/tla2b/config/ModuleOverrider.java

src/main/java/de/tla2b/config/TLCValueNode.java

src/main/java/de/tla2b/config/ValueObj.java

...in/java/de/tla2b/exceptions/ConfigFileErrorException.java

src/main/java/de/tla2b/exceptions/FrontEndException.java

src/main/java/de/tla2b/exceptions/ModuleErrorException.java

...ain/java/de/tla2b/exceptions/NotImplementedException.java

...main/java/de/tla2b/exceptions/SemanticErrorException.java

src/main/java/de/tla2b/exceptions/TLA2BException.java

src/main/java/de/tla2b/exceptions/TLA2BIOException.java

src/main/java/de/tla2b/exceptions/TypeErrorException.java