/Test/dafny1/

• ../
• BDD.dfy
• BDD.dfy.expect
• BinaryTree.dfy
• BinaryTree.dfy.expect
• Celebrity.dfy
• Celebrity.dfy.expect
• Cubes.dfy
• Cubes.dfy.expect
• ExtensibleArray.dfy
• ExtensibleArray.dfy.expect
• ExtensibleArrayAuto.dfy
• ExtensibleArrayAuto.dfy.expect
• FindZero.dfy
• FindZero.dfy.expect
• Induction.dfy
• Induction.dfy.expect
• KatzManna.dfy
• KatzManna.dfy.expect
• ListContents.dfy
• ListContents.dfy.expect
• ListCopy.dfy
• ListCopy.dfy.expect
• ListReverse.dfy
• ListReverse.dfy.expect
• MatrixFun.dfy
• MatrixFun.dfy.expect
• MoreInduction.dfy
• MoreInduction.dfy.expect
• PriorityQueue.dfy
• PriorityQueue.dfy.expect
• Queue.dfy
• Queue.dfy.expect
• Rippling.dfy
• Rippling.dfy.expect
• SchorrWaite-stages.dfy
• SchorrWaite-stages.dfy.expect
• SchorrWaite.dfy
• SchorrWaite.dfy.expect
• SeparationLogicList.dfy
• SeparationLogicList.dfy.expect
• Substitution.dfy
• Substitution.dfy.expect
• SumOfCubes.dfy
• SumOfCubes.dfy.expect
• TerminationDemos.dfy
• TerminationDemos.dfy.expect
• TreeDatatype.dfy
• TreeDatatype.dfy.expect
• UltraFilter.dfy
• UltraFilter.dfy.expect
• UnboundedStack.dfy
• UnboundedStack.dfy.expect
• pow2.dfy
• pow2.dfy.expect