fixed typo

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

@@ -41,8 +41,9 @@ public class TLC4B {
 	private String constantsSetup;
 
 	public static void main(String[] args) {
-		System.setProperty("apple.awt.UIElement", "true"); // avoiding pop up
-															// windows
+		System.setProperty("apple.awt.UIElement", "true");
+		// avoiding pop up window
+
 		TLC4B tlc4b = new TLC4B();
 		try {
 			tlc4b.process(args);

src/main/resources/standardModules/Functions.tla

@@ -26,12 +26,12 @@ RanSub(f, S) == [x \in {y \in DOMAIN f: f[y] \notin S} |-> f[x]]
  \* The subtraction on the range of f for set S
 
 Inverse(f) == {<<f[x],x>>: x \in DOMAIN f}
- \* The inverser relation of the function f
+ \* The inverse relation of the function f
 
 Override(f, g) == [x \in (DOMAIN f) \cup DOMAIN g |-> IF x \in DOMAIN g THEN g[x] ELSE f[x]]
  \* Overwriting of the function f with the function g
 
-FuncAssign(f, d, e) == Override(f, [x \in {d} |-> e])
+FuncAssign(f, d, e) == [f EXCEPT ![d] = e]
  \* Overwriting the function f at index d with value e
 
 TotalInjFunc(S, T) == {f \in [S -> T]: