typo in package

src/main/java/edu/kit/formatl/proofscriptparser/ASTChanger.java → src/main/java/edu/kit/formal/proofscriptparser/ASTChanger.java

-package edu.kit.formatl.proofscriptparser;
+package edu.kit.formal.proofscriptparser;
 
-import edu.kit.formatl.proofscriptparser.ast.*;
+import edu.kit.formal.proofscriptparser.ast.*;
 
 import java.util.ArrayList;
 import java.util.Map;

src/main/java/edu/kit/formatl/proofscriptparser/ASTTraversal.java → src/main/java/edu/kit/formal/proofscriptparser/ASTTraversal.java

-package edu.kit.formatl.proofscriptparser;
+package edu.kit.formal.proofscriptparser;
 
-import edu.kit.formatl.proofscriptparser.ast.*;
+import edu.kit.formal.proofscriptparser.ast.*;
 
 /**
  * {@link ASTTraversal} provides a visitor with a a default traversal of the given AST.

src/main/java/edu/kit/formatl/proofscriptparser/DefaultASTVisitor.java → src/main/java/edu/kit/formal/proofscriptparser/DefaultASTVisitor.java

-package edu.kit.formatl.proofscriptparser;
+package edu.kit.formal.proofscriptparser;
 
-import edu.kit.formatl.proofscriptparser.Visitor;
-import edu.kit.formatl.proofscriptparser.ast.*;
+import edu.kit.formal.proofscriptparser.ast.*;
 
 /**
  * @author Alexander Weigl

src/main/java/edu/kit/formatl/proofscriptparser/Facade.java → src/main/java/edu/kit/formal/proofscriptparser/Facade.java

-package edu.kit.formatl.proofscriptparser;
+package edu.kit.formal.proofscriptparser;
 
-import edu.kit.formal.proofscriptparser.ScriptLanguageLexer;
-import edu.kit.formal.proofscriptparser.ScriptLanguageParser;
-import edu.kit.formatl.proofscriptparser.ast.ASTNode;
-import edu.kit.formatl.proofscriptparser.ast.ProofScript;
+import edu.kit.formal.proofscriptparser.ast.ASTNode;
+import edu.kit.formal.proofscriptparser.ast.ProofScript;
 import org.antlr.v4.runtime.*;
 
 import java.io.File;

src/main/java/edu/kit/formatl/proofscriptparser/NotWelldefinedException.java → src/main/java/edu/kit/formal/proofscriptparser/NotWelldefinedException.java

-package edu.kit.formatl.proofscriptparser;
+package edu.kit.formal.proofscriptparser;
 
-import edu.kit.formatl.proofscriptparser.ast.Expression;
+import edu.kit.formal.proofscriptparser.ast.Expression;
 import lombok.AllArgsConstructor;
 import lombok.Data;
 

src/main/java/edu/kit/formatl/proofscriptparser/PrettyPrinter.java → src/main/java/edu/kit/formal/proofscriptparser/PrettyPrinter.java

-package edu.kit.formatl.proofscriptparser;
+package edu.kit.formal.proofscriptparser;
 
-import edu.kit.formatl.proofscriptparser.ast.*;
+import edu.kit.formal.proofscriptparser.ast.*;
 
 import java.util.Iterator;
 import java.util.Map;

src/main/java/edu/kit/formatl/proofscriptparser/TransformAst.java → src/main/java/edu/kit/formal/proofscriptparser/TransformAst.java

-package edu.kit.formatl.proofscriptparser;
+package edu.kit.formal.proofscriptparser;
 
-import edu.kit.formal.proofscriptparser.ScriptLanguageParser;
-import edu.kit.formal.proofscriptparser.ScriptLanguageVisitor;
-import edu.kit.formatl.proofscriptparser.ast.*;
+import edu.kit.formal.proofscriptparser.ast.*;
 import org.antlr.v4.runtime.ParserRuleContext;
 import org.antlr.v4.runtime.tree.ErrorNode;
 import org.antlr.v4.runtime.tree.ParseTree;
@@ -11,7 +9,6 @@ import org.antlr.v4.runtime.tree.TerminalNode;
 
 import java.util.ArrayList;
 import java.util.List;
-import java.util.Map;
 
 /**
  * @author Alexander Weigl

src/main/java/edu/kit/formatl/proofscriptparser/Visitable.java → src/main/java/edu/kit/formal/proofscriptparser/Visitable.java

-package edu.kit.formatl.proofscriptparser;
+package edu.kit.formal.proofscriptparser;
 
 /**
  * @author Alexander Weigl

src/main/java/edu/kit/formatl/proofscriptparser/Visitor.java → src/main/java/edu/kit/formal/proofscriptparser/Visitor.java

-package edu.kit.formatl.proofscriptparser;
+package edu.kit.formal.proofscriptparser;
 
-import edu.kit.formatl.proofscriptparser.ast.*;
+import edu.kit.formal.proofscriptparser.ast.*;
 
 /**
  * @author Alexander Weigl

src/main/java/edu/kit/formatl/proofscriptparser/ast/ASTNode.java → src/main/java/edu/kit/formal/proofscriptparser/ast/ASTNode.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
-import edu.kit.formatl.proofscriptparser.Visitable;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.Visitable;
+import edu.kit.formal.proofscriptparser.Visitor;
 import org.antlr.v4.runtime.ParserRuleContext;
 
 import java.util.Optional;

src/main/java/edu/kit/formatl/proofscriptparser/ast/AssignmentStatement.java → src/main/java/edu/kit/formal/proofscriptparser/ast/AssignmentStatement.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import edu.kit.formal.proofscriptparser.ScriptLanguageParser;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.*;
 
 /**

src/main/java/edu/kit/formatl/proofscriptparser/ast/BinaryExpression.java → src/main/java/edu/kit/formal/proofscriptparser/ast/BinaryExpression.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
-import edu.kit.formatl.proofscriptparser.NotWelldefinedException;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.NotWelldefinedException;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.Data;
 import org.antlr.v4.runtime.ParserRuleContext;
 

src/main/java/edu/kit/formatl/proofscriptparser/ast/BooleanLiteral.java → src/main/java/edu/kit/formal/proofscriptparser/ast/BooleanLiteral.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
-import edu.kit.formatl.proofscriptparser.NotWelldefinedException;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.NotWelldefinedException;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.*;
 import org.antlr.v4.runtime.Token;
 

src/main/java/edu/kit/formatl/proofscriptparser/ast/CallStatement.java → src/main/java/edu/kit/formal/proofscriptparser/ast/CallStatement.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import edu.kit.formal.proofscriptparser.ScriptLanguageParser;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.*;
 
 /**

src/main/java/edu/kit/formatl/proofscriptparser/ast/CaseStatement.java → src/main/java/edu/kit/formal/proofscriptparser/ast/CaseStatement.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import edu.kit.formal.proofscriptparser.ScriptLanguageParser;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.Data;
 import lombok.NoArgsConstructor;
 

src/main/java/edu/kit/formatl/proofscriptparser/ast/CasesStatement.java → src/main/java/edu/kit/formal/proofscriptparser/ast/CasesStatement.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import edu.kit.formal.proofscriptparser.ScriptLanguageParser;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.Data;
 
 import java.util.ArrayList;

src/main/java/edu/kit/formatl/proofscriptparser/ast/Expression.java → src/main/java/edu/kit/formal/proofscriptparser/ast/Expression.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
-import edu.kit.formatl.proofscriptparser.NotWelldefinedException;
+import edu.kit.formal.proofscriptparser.NotWelldefinedException;
 import org.antlr.v4.runtime.ParserRuleContext;
 
 /**

src/main/java/edu/kit/formatl/proofscriptparser/ast/ForeachStatement.java → src/main/java/edu/kit/formal/proofscriptparser/ast/ForeachStatement.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import edu.kit.formal.proofscriptparser.ScriptLanguageParser;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.Data;
 
 /**

src/main/java/edu/kit/formatl/proofscriptparser/ast/GoalSelector.java → src/main/java/edu/kit/formal/proofscriptparser/ast/GoalSelector.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import lombok.*;
 import org.antlr.v4.runtime.ParserRuleContext;

src/main/java/edu/kit/formatl/proofscriptparser/ast/IntegerLiteral.java → src/main/java/edu/kit/formal/proofscriptparser/ast/IntegerLiteral.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
-import edu.kit.formatl.proofscriptparser.NotWelldefinedException;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.NotWelldefinedException;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.Data;
 import org.antlr.v4.runtime.Token;
 

src/main/java/edu/kit/formatl/proofscriptparser/ast/Literal.java → src/main/java/edu/kit/formal/proofscriptparser/ast/Literal.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import org.antlr.v4.runtime.ParserRuleContext;
 import org.antlr.v4.runtime.Token;

src/main/java/edu/kit/formatl/proofscriptparser/ast/MatchExpression.java → src/main/java/edu/kit/formal/proofscriptparser/ast/MatchExpression.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import edu.kit.formal.proofscriptparser.ScriptLanguageParser;
-import edu.kit.formatl.proofscriptparser.NotWelldefinedException;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.NotWelldefinedException;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.Data;
 
 /**

src/main/java/edu/kit/formatl/proofscriptparser/ast/Operator.java → src/main/java/edu/kit/formal/proofscriptparser/ast/Operator.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
-import static edu.kit.formatl.proofscriptparser.ast.Type.*;
+import static edu.kit.formal.proofscriptparser.ast.Type.*;
 
 /**
  * Precedence: zero is preserved for literals!

src/main/java/edu/kit/formatl/proofscriptparser/ast/Parameters.java → src/main/java/edu/kit/formal/proofscriptparser/ast/Parameters.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import edu.kit.formal.proofscriptparser.ScriptLanguageParser;
-import edu.kit.formatl.proofscriptparser.Visitor;
-import lombok.Data;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.EqualsAndHashCode;
 import lombok.ToString;
 

src/main/java/edu/kit/formatl/proofscriptparser/ast/Position.java → src/main/java/edu/kit/formal/proofscriptparser/ast/Position.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import lombok.*;
 import org.antlr.v4.runtime.Token;

src/main/java/edu/kit/formatl/proofscriptparser/ast/ProofScript.java → src/main/java/edu/kit/formal/proofscriptparser/ast/ProofScript.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import edu.kit.formal.proofscriptparser.ScriptLanguageParser;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.Data;
 import lombok.NonNull;
 

src/main/java/edu/kit/formatl/proofscriptparser/ast/RepeatStatement.java → src/main/java/edu/kit/formal/proofscriptparser/ast/RepeatStatement.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import edu.kit.formal.proofscriptparser.ScriptLanguageParser;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.Data;
 
 /**

src/main/java/edu/kit/formatl/proofscriptparser/ast/Signature.java → src/main/java/edu/kit/formal/proofscriptparser/ast/Signature.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import edu.kit.formal.proofscriptparser.ScriptLanguageParser;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.EqualsAndHashCode;
 import lombok.ToString;
 

src/main/java/edu/kit/formatl/proofscriptparser/ast/Statement.java → src/main/java/edu/kit/formal/proofscriptparser/ast/Statement.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import org.antlr.v4.runtime.ParserRuleContext;
 

src/main/java/edu/kit/formatl/proofscriptparser/ast/Statements.java → src/main/java/edu/kit/formal/proofscriptparser/ast/Statements.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import edu.kit.formal.proofscriptparser.ScriptLanguageParser;
-import edu.kit.formatl.proofscriptparser.Visitable;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.Visitable;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.EqualsAndHashCode;
 import lombok.ToString;
 

src/main/java/edu/kit/formatl/proofscriptparser/ast/StringLiteral.java → src/main/java/edu/kit/formal/proofscriptparser/ast/StringLiteral.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
-import edu.kit.formatl.proofscriptparser.NotWelldefinedException;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.NotWelldefinedException;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.Data;
 
 /**

src/main/java/edu/kit/formatl/proofscriptparser/ast/TermLiteral.java → src/main/java/edu/kit/formal/proofscriptparser/ast/TermLiteral.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
-import edu.kit.formatl.proofscriptparser.NotWelldefinedException;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.NotWelldefinedException;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.Data;
 
 /**

src/main/java/edu/kit/formatl/proofscriptparser/ast/TheOnlyStatement.java → src/main/java/edu/kit/formal/proofscriptparser/ast/TheOnlyStatement.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import edu.kit.formal.proofscriptparser.ScriptLanguageParser;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.Data;
 
 /**

src/main/java/edu/kit/formatl/proofscriptparser/ast/Type.java → src/main/java/edu/kit/formal/proofscriptparser/ast/Type.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
 import java.util.Arrays;
 

src/main/java/edu/kit/formatl/proofscriptparser/ast/UnaryExpression.java → src/main/java/edu/kit/formal/proofscriptparser/ast/UnaryExpression.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
-import edu.kit.formatl.proofscriptparser.NotWelldefinedException;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.NotWelldefinedException;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.AllArgsConstructor;
 import lombok.Data;
 import lombok.NoArgsConstructor;
 import lombok.NonNull;
 import org.antlr.v4.runtime.ParserRuleContext;
-import org.antlr.v4.runtime.tree.TerminalNode;
 
 /**
  * @author Alexander Weigl

src/main/java/edu/kit/formatl/proofscriptparser/ast/Variable.java → src/main/java/edu/kit/formal/proofscriptparser/ast/Variable.java

-package edu.kit.formatl.proofscriptparser.ast;
+package edu.kit.formal.proofscriptparser.ast;
 
-import edu.kit.formatl.proofscriptparser.NotWelldefinedException;
-import edu.kit.formatl.proofscriptparser.Visitor;
+import edu.kit.formal.proofscriptparser.NotWelldefinedException;
+import edu.kit.formal.proofscriptparser.Visitor;
 import lombok.Data;
-import org.antlr.v4.runtime.ParserRuleContext;
 import org.antlr.v4.runtime.Token;
 
 /**

src/main/java/edu/kit/formatl/proofscriptparser/ast/VariableDeclaration.java → src/main/java/edu/kit/formal/proofscriptparser/ast/VariableDeclaration.java

-package edu.kit.formatl.proofscriptparser.ast;
-
-import edu.kit.formal.proofscriptparser.ScriptLanguageParser;
-import edu.kit.formatl.proofscriptparser.Visitor;
+package edu.kit.formal.proofscriptparser.ast;
 
 /**
  * Created by sarah on 4/30/17.

src/test/java/edu/kit/formal/proofscriptparser/ASTTest.java

 package edu.kit.formal.proofscriptparser;
 
-import edu.kit.formatl.proofscriptparser.Facade;
-import edu.kit.formatl.proofscriptparser.ast.ProofScript;
+import edu.kit.formal.proofscriptparser.ast.ProofScript;
 import org.junit.Assert;
 import org.junit.Test;
 import org.junit.runner.RunWith;

src/test/java/edu/kit/formal/proofscriptparser/EqualsTest.java

 package edu.kit.formal.proofscriptparser;
 
-import edu.kit.formatl.proofscriptparser.Facade;
-import edu.kit.formatl.proofscriptparser.ast.ProofScript;
-import edu.kit.formatl.proofscriptparser.ast.Variable;
+import edu.kit.formal.proofscriptparser.ast.ProofScript;
+import edu.kit.formal.proofscriptparser.ast.Variable;
 import org.junit.Assert;
 import org.junit.Test;
 

src/test/java/edu/kit/formal/proofscriptparser/GoodExpressionTest.java

 package edu.kit.formal.proofscriptparser;
 
-import edu.kit.formatl.proofscriptparser.NotWelldefinedException;
-import edu.kit.formatl.proofscriptparser.TransformAst;
-import edu.kit.formatl.proofscriptparser.ast.Expression;
-import edu.kit.formatl.proofscriptparser.ast.Signature;
-import edu.kit.formatl.proofscriptparser.ast.Type;
-import edu.kit.formatl.proofscriptparser.ast.Variable;
+import edu.kit.formal.proofscriptparser.ast.Expression;
+import edu.kit.formal.proofscriptparser.ast.Signature;
+import edu.kit.formal.proofscriptparser.ast.Type;
+import edu.kit.formal.proofscriptparser.ast.Variable;
 import org.junit.Assert;
 import org.junit.Test;
 import org.junit.runner.RunWith;