/Binaries/
../
..svnbridge
DafnyPrelude.bpl
FSharp.Core.dll
FSharp.PowerPack.dll
Makefile
Microsoft.SpecSharp.pdb
Mscorlib.Contracts.dll
System.Compiler.Contracts.dll
System.Compiler.Framework.Contracts.dll
System.Compiler.Framework.dll
System.Compiler.Framework.pdb
System.Compiler.dll
System.Compiler.pdb
System.Contracts.dll
System.Xml.Contracts.dll
TypedUnivBackPred2.sx
UnivBackPred2.smt
UnivBackPred2.sx
microsoft.specsharp.dll