From 084f7f908523f8be12a59dba957928a57da918be Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Sun, 16 Oct 2022 20:18:08 +0200
Subject: MC solución de fallos
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 mc/n3.lyx | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'mc/n3.lyx')

diff --git a/mc/n3.lyx b/mc/n3.lyx
index 2dddee4..22fb847 100644
--- a/mc/n3.lyx
+++ b/mc/n3.lyx
@@ -1769,7 +1769,11 @@ recursivo
 \begin_inset Formula $\text{MT}$
 \end_inset
 
-, y es 
+ e 
+\series bold
+indecidible
+\series default
+ en otro caso, y es 
 \series bold
 Turing-reconocible
 \series default
-- 
cgit v1.2.3