wip

Deducteam · Jul 18, 2023 · f890c6e · f890c6e
1 parent 62033e8
commit f890c6e
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/renaming.lp b/renaming.lp
@@ -33,7 +33,8 @@ builtin "lt_c" ≔ <_c;
 builtin "lt_c_def" ≔ <_c_def;
 builtin "le_c" ≔ <=_c;
 builtin "le_c_def" ≔ <=_c_def;
-builtin "eqeq" ≔ ==;
-builtin "eqeq_def" ≔ ==_def;
+builtin "eq2" ≔ ==;
+builtin "eq2_def" ≔ ==_def;
 builtin "ltle" ≔ <<=;
-builtin "ltlt" ≔ "<<";
+builtin "lt2" ≔ "<<";
+builtin "lt3" ≔ "<<<";