diff options
Diffstat (limited to 'defs.tex')
| -rwxr-xr-x | defs.tex | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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]{(*}{*)}, |