/Test/dafny1/

• ../
• Answer
• BDD.dfy
• BQueue.bpl
• BinaryTree.dfy
• Celebrity.dfy
• Cubes.dfy
• ExtensibleArray.dfy
• ExtensibleArrayAuto.dfy
• FindZero.dfy
• Induction.dfy
• KatzManna.dfy
• ListContents.dfy
• ListCopy.dfy
• ListReverse.dfy
• MatrixFun.dfy
• MoreInduction.dfy
• PriorityQueue.dfy
• Queue.dfy
• Rippling.dfy
• SchorrWaite.dfy
• SeparationLogicList.dfy
• Substitution.dfy
• SumOfCubes.dfy
• TerminationDemos.dfy
• TreeDatatype.dfy
• UltraFilter.dfy
• UnboundedStack.dfy
• pow2.dfy
• runtest.bat