From 1cc1cdf9af5154b7ffb0240595da3da7ae5b6336 Mon Sep 17 00:00:00 2001
From: Guillermo Ramos
Date: Mon, 2 Jun 2014 19:18:26 +0200
Subject: Sugerencias de Pablo, a falta de un par de cosas

---
 defs.tex | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'defs.tex')

diff --git a/defs.tex b/defs.tex
index a71c390..ac2b955 100755
--- a/defs.tex
+++ b/defs.tex
@@ -146,13 +146,13 @@
   keywordsprefix={'},
   morekeywords=[1]{unit,bool,int,real,bitstring,array,list,matrix,word},
   morekeywords=[2]{type,datatype,op,axiom,lemma,module,pred,const,declare},
-  morekeywords=[3]{var,fun},
+  morekeywords=[3]{var,fun,charfun},
   morekeywords=[4]{while,if},
   morekeywords=[5]{theory,end,clone,import,export,as,with,section},
   morekeywords=[6]{forall,exists,lambda},
-  morekeywords=[7]{idtac,change,beta,iota,zeta,logic,delta,simplify,congr,generalize,
-                   pose,split,left,right,case,intros,cut,elim,apply,rewrite,elimT,subst,
-                   progress,trivial},
+  morekeywords=[7]{idtac,change,beta,iota,zeta,logic,delta,simplify,congr,
+    generalize,pose,split,left,right,case,intros,cut,elim,apply,rewrite,elimT,
+    subst,progress,trivial},
   morekeywords=[8]{by,assumption,smt,reflexivity},
   morekeywords=[9]{first,last,do,try},
   morecomment=[n][\itshape]{(*}{*)},
-- 
cgit v1.2.3

