From 71811a0d4bb5820f313433bc4c3d7eb611b9a061 Mon Sep 17 00:00:00 2001
From: Guillermo Ramos
Date: Sun, 22 Jun 2014 18:09:45 +0200
Subject: Sección: Diseño

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

(limited to 'defs.tex')

diff --git a/defs.tex b/defs.tex
index 2aeac7d..3cc5e4c 100755
--- a/defs.tex
+++ b/defs.tex
@@ -143,8 +143,8 @@
   style=easycrypt-default,
   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,charfun},
+  morekeywords=[2]{type,datatype,op,caxiom,axiom,lemma,module,pred,const,declare},
+  morekeywords=[3]{var,fun,charfun,cost},
   morekeywords=[4]{while,if},
   morekeywords=[5]{theory,end,clone,import,export,as,with,section},
   morekeywords=[6]{forall,exists,lambda},
-- 
cgit v1.2.3

