diff options
| author | Guillermo Ramos | 2014-06-22 18:09:45 +0200 |
|---|---|---|
| committer | Guillermo Ramos | 2014-06-22 18:10:04 +0200 |
| commit | 71811a0d4bb5820f313433bc4c3d7eb611b9a061 (patch) | |
| tree | 53f59dcc33e9aeb774f7e1161e10971dbaa79b04 /defs.tex | |
| parent | 0b37f8e60740f26a03ca1b189a9337e4946f1c66 (diff) | |
| download | tfg-71811a0d4bb5820f313433bc4c3d7eb611b9a061.tar.gz | |
Sección: Diseño
Diffstat (limited to 'defs.tex')
| -rwxr-xr-x | defs.tex | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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}, |