/Binaries/

• ../
• DafnyPrelude.bpl
• DafnyRuntime.cs
• PrepareDafnyZip.bat
• Z3-LICENSE.txt
• z3.exe