/Binaries/

• ../
• DafnyPrelude.bpl
• DafnyRuntime.cs
• PrepareDafnyZip.bat
• System.Collections.Immutable.dll
• Z3-LICENSE.txt
• dafny
• z3
• z3.exe