From 0ec7e60d013ad1a9d3ec00bd3e7493636db66a95 Mon Sep 17 00:00:00 2001
From: Juan Marín Noguera <juan.marinn@um.es>
Date: Mon, 23 Mar 2020 17:36:21 +0100
Subject: onkey

---
 cc/n1.lyx | 89 +--------------------------------------------------------------
 1 file changed, 1 insertion(+), 88 deletions(-)

(limited to 'cc/n1.lyx')

diff --git a/cc/n1.lyx b/cc/n1.lyx
index 602e833..c8fa8dd 100644
--- a/cc/n1.lyx
+++ b/cc/n1.lyx
@@ -6,7 +6,7 @@
 \origin unavailable
 \textclass book
 \begin_preamble
-\usepackage{tikz}
+\input{spec}
 \end_preamble
 \use_default_options true
 \maintain_unincluded_children false
@@ -80,93 +80,6 @@
 
 \begin_body
 
-\begin_layout Standard
-\begin_inset ERT
-status open
-
-\begin_layout Plain Layout
-
-
-\backslash
-def
-\backslash
-program#1#2{-- ++(1.5,0) -- ++(0,1) arc(-90:90:0.5) -- ++(-1.5,0) arc(90:270:0.5)
- -- ++(0,-1) ++(0.75,0.5) node{#2} ++(0,1) node{#1} ++(-0.75,-1.5)}
-\end_layout
-
-\begin_layout Plain Layout
-
-
-\backslash
-def
-\backslash
-translator#1#2#3{-- ++(1.5,0) -- ++(0,1) -- ++(0.7,0) -- ++(0,1) -- ++(-2.9,0)
- -- ++(0,-1) -- ++(0.7,0) -- ++(0,-1) ++(0,1.5) node{#1} ++(0.75,0) node{$
-\backslash
-longrightarrow$} ++(0.75,0) node{#2} ++(-0.75,-1) node{#3} ++(-0.75,-0.5)}
-\end_layout
-
-\begin_layout Plain Layout
-
-
-\backslash
-def
-\backslash
-machine#1{-- ++(0.75,-0.5) -- ++(0.75,0.5) -- ++(0,1) -- ++(-1.5,0) -- ++(0,-1)
- ++(0.75,0.5) node{#1} ++(-0.75,-0.5)}
-\end_layout
-
-\begin_layout Plain Layout
-
-
-\backslash
-def
-\backslash
-run#1{++(0,1) #1 ++(0,-1)}
-\end_layout
-
-\begin_layout Plain Layout
-
-
-\backslash
-def
-\backslash
-source#1{++(-2.2,1) #1 ++(2.2,-1)}
-\end_layout
-
-\begin_layout Plain Layout
-
-
-\backslash
-def
-\backslash
-object#1{++(2.2,1) #1 ++(-2.2,-1)}
-\end_layout
-
-\begin_layout Plain Layout
-
-
-\backslash
-def
-\backslash
-interpreter#1#2{-- ++(1.5,0) -- ++(0,2) -- ++(-1.5,0) -- ++(0,-2) ++(0.75,0.5)
- node{#2} ++(0,1) node{#1} ++(-0.75,-1.5)}
-\end_layout
-
-\begin_layout Plain Layout
-
-
-\backslash
-def
-\backslash
-interpret#1{++(0,2) #1 ++(0,-2)}
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
 \begin_layout Standard
 Un 
 \series bold
-- 
cgit v1.2.3