wip

Deducteam · Jul 20, 2023 · 926878c · 926878c
1 parent f890c6e
commit 926878c
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/renaming.lp b/renaming.lp
@@ -36,5 +36,6 @@ builtin "le_c_def" ≔ <=_c_def;
 builtin "eq2" ≔ ==;
 builtin "eq2_def" ≔ ==_def;
 builtin "ltle" ≔ <<=;
-builtin "lt2" ≔ "<<";
-builtin "lt3" ≔ "<<<";
+builtin "ltle'" ≔ <<=';
+builtin "lt2" ≔ <<;
+builtin "lt3" ≔ <<<;