diff --git a/src/main/resources/language/general.properties b/src/main/resources/language/general.properties
index b424ff7..713ee3e 100644
--- a/src/main/resources/language/general.properties
+++ b/src/main/resources/language/general.properties
@@ -16,15 +16,15 @@ root.exampleTerms=\
   let f = λx. let g = λy. y in g x in f 3,\
   let f = λx. let g = λy.5 5 in g x in f 3
   
-root.λx.x=∅;x: int;y: bool
-root.λx.λy.yx=∅;x: int;y: bool
-root.λx.λy.y(xx)=∅;x: int;y: bool
+root.λx.x=∅
+root.λx.λy.yx=∅
+root.λx.λy.y(xx)=∅
 root.letfλx.gyyinf3=∅;g: a->b->a;g: int->int->bool;g: int->int->bool, y: bool;g: int->int->bool, y: τ₁
 root.letkλx.λy.xinka(kbc)=∅;a: τ₁;a: ∀τ₁.τ₁->int, b: a;a: int, b: bool, c: char
-root.(λx.xx)(λx.xx)=∅;x: bool
+root.(λx.xx)(λx.xx)=∅
 root.(λx.λy.y(xy))(λz.λa.zga)=∅;g: bool;a: int, g: bool->int;g: ∀τ₂.τ₁->τ₂
 root.letfλx.letgλy.yingxinf3=∅;g: bool->int->bool
-root.letfλx.letgλy.55ingxinf3=∅;f: bool->int->bool
+root.letfλx.letgλy.55ingxinf3=∅
  
 root.termGrammar=\u2329Term\u232A ::= (\u2329Term\u232A) | \u2329App\u232A | \u2329Abs\u232A | \
 \u2329Let\u232A | \u2329Var\u232A | \u2329Const\u232A <br> \