Sugerencias de Pablo, a falta de un par de cosas

1 files changed, 4 insertions, 4 deletions

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]{(*}{*)},