1 files changed, 0 insertions, 110 deletions
diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty
deleted file mode 100644
index 879b90cb..00000000
--- a/Util/latex/dafny.sty
+++ /dev/null
@@ -1,110 +0,0 @@
-% dafny.sty
-% Dafny mode for the LaTeX listings package.
-% Rustan Leino, 22 June 2008.
-
-\usepackage{listings}
-
-\lstdefinelanguage{dafny}{
-  morekeywords={class,datatype,codatatype,type,iterator,
-      bool,nat,int,object,set,multiset,seq,array,array2,array3,map,
-      function,predicate,copredicate,
-      ghost,var,static,refines,
-      method,constructor,returns,yields,module,import,default,opened,as,in,
-      requires,modifies,ensures,reads,decreases,free,
-      % expressions
-      match,case,false,true,null,old,fresh,choose,this,
-      % statements
-      assert,assume,print,new,if,then,else,while,invariant,break,label,return,yield,
-      parallel,where,calc
-      },
-  literate=%
-    {:}{$\colon$}1
-    {::}{$\bullet$}2
-    {:=}{$:$$=$}2
-    {!}{$\lnot$}1
-    {!!}{$\not\cap$}1
-    {==}{$=$}1
-    {!=}{$\neq$}1
-    {&&}{$\land$}1
-    {||}{$\lor$}1
-    {<=}{$\le$}1
-    {>=}{$\ge$}1
-    % the following isn't actually Dafny, but it gives the option to produce nicer latex
-    {|=>}{$\Rightarrow$}2
-    {<=set}{$\subseteq$}1
-    {+set}{$\cup$}1
-    {*set}{$\cap$}1
-    {==>}{$\Longrightarrow$}3 
-    {=>}{$\Rightarrow$}2
-    {<==>}{$\Longleftrightarrow$}4 
-    {forall}{$\forall$}1
-    {exists}{$\exists$}1
-    {!in}{$\not\in$}1
-    {\\in}{$\in$}1
-    % the following isn't actually Dafny, but it gives the option to produce nicer latex
-    {<<}{$\langle$}1
-    {>>}{$\rangle$}1
-    {(==)}{${}^{(=)}$}2
-    {...}{$\ldots$}1
-    {\\alpha}{$\alpha$}1
-    {\\beta}{$\beta$}1
-    {\\gamma}{$\gamma$}1
-    {\\delta}{$\delta$}1
-    {\\epsilon}{$\epsilon$}1
-    {\\zeta}{$\zeta$}1
-    {\\eta}{$\eta$}1
-    {\\theta}{$\theta$}1
-    {\\iota}{$\iota$}1
-    {\\kappa}{$\kappa$}1
-    {\\lambda}{$\lambda$}1
-    {\\mu}{$\mu$}1
-    {\\nu}{$\nu$}1
-    {\\xi}{$\xi$}1
-    {\\pi}{$\pi$}1
-    {\\rho}{$\rho$}1
-    {\\sigma}{$\sigma$}1
-    {\\tau}{$\tau$}1
-    {\\upsilon}{$\upsilon$}1
-    {\\phi}{$\phi$}1
-    {\\chi}{$\chi$}1
-    {\\psi}{$\psi$}1
-    {\\omega}{$\omega$}1
-    {\\Gamma}{$\Gamma$}1
-    {\\Delta}{$\Delta$}1
-    {\\Theta}{$\Theta$}1
-    {\\Lambda}{$\Lambda$}1
-    {\\Xi}{$\Xi$}1
-    {\\Pi}{$\Pi$}1
-    {\\Sigma}{$\Sigma$}1
-    {\\Upsilon}{$\Upsilon$}1
-    {\\Phi}{$\Phi$}1
-    {\\Psi}{$\Psi$}1
-    {\\Omega}{$\Omega$}1
-    ,
-  sensitive=true,  % case sensitive
-  morecomment=[l]{//},
-  morecomment=[s]{/*}{*/},
-  morestring=[b]",
-  numbers=none,
-  firstnumber=0,
-  numberstyle=\tiny,
-  stepnumber=5,
-  basicstyle=\scriptsize\sffamily,
-  commentstyle=\itshape,
-  keywordstyle=\bfseries,
-  ndkeywordstyle=\bfseries,
-}
-\lstnewenvironment{dafny}[1][]{%
-  \lstset{language=dafny,
-    floatplacement={tbp},captionpos=b,
-    frame=lines,xleftmargin=8pt,xrightmargin=8pt,basicstyle=\ttfamily,#1}}{}
-\lstnewenvironment{dafnyNoLines}[1][]{%
-  \lstset{language=dafny,
-    floatplacement={tbp},captionpos=b,
-    xleftmargin=8pt,xrightmargin=8pt,basicstyle=\ttfamily,#1}}{}
-\def\inlinedafny{%
-    \lstinline[language=dafny,basicstyle=\ttfamily,columns=fixed]}
-\newcommand{\lstfile}[1]{
-  \lstinputlisting[language=dafny,%
-    frame=lines,xleftmargin=8pt,xrightmargin=8pt,basicstyle=\ttfamily,columns=fixed]{#1}
-}