diff options
author | rustanleino <unknown> | 2009-11-05 01:24:43 +0000 |
---|---|---|
committer | rustanleino <unknown> | 2009-11-05 01:24:43 +0000 |
commit | 48a417d2201f5e4151b1575d4ec011343c69e389 (patch) | |
tree | cf9c5ac4f7ca2aeaf2586fad2f3d3906117cda44 /Util | |
parent | 13fcd7a9763591f82d75337a60aec10766b65d91 (diff) |
Introduced operator !in in Dafny. An expression "x !in S" is equivalent to "!(x in S)".
Changed Dafny test files to use the new operator.
Included the file b8.dfy into the VSI-Benchmarks test harness.
Diffstat (limited to 'Util')
-rw-r--r-- | Util/latex/dafny.sty | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty index 9f7a76b3..69cd6b0a 100644 --- a/Util/latex/dafny.sty +++ b/Util/latex/dafny.sty @@ -33,6 +33,7 @@ {<==>}{$\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
|