1 files changed, 83 insertions, 0 deletions
diff --git a/Docs/DafnyRef/ignores.dic b/Docs/DafnyRef/ignores.dic
new file mode 100644
index 00000000..f492d28b
--- /dev/null
+++ b/Docs/DafnyRef/ignores.dic
@@ -0,0 +1,83 @@
+Dafny
+lexer
+Datatypes
+initializable
+Multisets
+multiset
+multisets
+disequality
+maplets
+maplet
+datatypes
+datatype
+datatype's
+Dafny's
+destructors
+nullable
+subarray
+indices
+mixin
+supertype
+CLU
+Async
+async
+Newtypes
+newtype
+newtype's
+pre
+BNF
+Polikarpova
+Paqui
+backticks
+colorizer
+Daan's
+Btw
+Codeplex
+formedness
+forall
+newtypes
+TODO
+updatable
+toplevel
+bodyless
+bool
+calc
+codatatype
+colemma
+comethod
+copredicate
+nat
+wildcard
+Builtin
+builtin
+inline
+NoUSIdent
+iff
+timeLimitMultiplier
+prependAssertToken
+ModuleDefinition
+AssignmentRhs
+LocalVariable
+LetExpr
+MaybeFreeExpression
+attrHelp
+EXE
+IDE
+SkippingLemma
+deconstructing
+Leino
+Moskal
+Agda
+Coq
+pointwise
+SMT
+BelowSquare
+CoFixpoint
+Copredicates
+prepending
+unrollings
+Colemmas
+Explies
+imaps
+NamedExpr
+strengthed
+\ No newline at end of file