From 921afea1d3ff2a60362c07b5ab7d184c98aae271 Mon Sep 17 00:00:00 2001 From: d_m Date: Sun, 14 Apr 2024 00:02:35 -0400 Subject: [PATCH] remove commentd code --- arith.modal | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/arith.modal b/arith.modal index 45deefd..c6bc774 100644 --- a/arith.modal +++ b/arith.modal @@ -326,15 +326,4 @@ <> ((int1 (?h ?t))) ((int2 + (nat1 (?h ?t)))) <> ((int2 ?s (N ?x))) ((Z (?s ?x))) --- (str (pow (nat 17) (nat 17))) - -<> (a) ((N (1 (1 (1 ()))))) -<> (b) ((N (0 (1 (1 ()))))) -<> (c) ((N (0 (1 ())))) - --- (add a b) --- (sum (a (b (c ())))) --- (str (div (mul a b) c)) - --- (mul (nat>neg (nat 13)) (nat>neg (nat 7))) (str (mul (int -133) (int 77)))