/Test/dafny4/

• ../
• ACL2-extractor.dfy
• ACL2-extractor.dfy.expect
• Ackermann.dfy
• Ackermann.dfy.expect
• BinarySearch.dfy
• BinarySearch.dfy.expect
• Bug100.dfy
• Bug100.dfy.expect
• Bug101.dfy
• Bug101.dfy.expect
• Bug103.dfy
• Bug103.dfy.expect
• Bug104.dfy
• Bug104.dfy.expect
• Bug107.dfy
• Bug107.dfy.expect
• Bug108.dfy
• Bug108.dfy.expect
• Bug110.dfy
• Bug110.dfy.expect
• Bug111.dfy
• Bug111.dfy.expect
• Bug113.dfy
• Bug113.dfy.expect
• Bug114.dfy
• Bug114.dfy.expect
• Bug116.dfy
• Bug116.dfy.expect
• Bug117.dfy
• Bug117.dfy.expect
• Bug118.dfy
• Bug118.dfy.expect
• Bug120.dfy
• Bug120.dfy.expect
• Bug121.dfy
• Bug121.dfy.expect
• Bug122.dfy
• Bug122.dfy.expect
• Bug124.dfy
• Bug124.dfy.expect
• Bug125.dfy
• Bug125.dfy.expect
• Bug128.dfy
• Bug128.dfy.expect
• Bug129.dfy
• Bug129.dfy.expect
• Bug131.dfy
• Bug131.dfy.expect
• Bug54.dfy
• Bug54.dfy.expect
• Bug55.dfy
• Bug55.dfy.expect
• Bug56.dfy
• Bug56.dfy.expect
• Bug58.dfy
• Bug58.dfy.expect
• Bug60.dfy
• Bug60.dfy.expect
• Bug62.dfy
• Bug62.dfy.expect
• Bug63.dfy
• Bug63.dfy.expect
• Bug67.dfy
• Bug67.dfy.expect
• Bug68.dfy
• Bug68.dfy.expect
• Bug69.dfy
• Bug69.dfy.expect
• Bug70.dfy
• Bug70.dfy.expect
• Bug71.dfy
• Bug71.dfy.expect
• Bug72.dfy
• Bug73.dfy
• Bug73.dfy.expect
• Bug79.dfy
• Bug79.dfy.expect
• Bug81.dfy
• Bug81.dfy.expect
• Bug82.dfy
• Bug82.dfy.expect
• Bug88.dfy
• Bug88.dfy.expect
• Bug89.dfy
• Bug89.dfy.expect
• Bug91.dfy
• Bug91.dfy.expect
• Bug94.dfy
• Bug94.dfy.expect
• Bug99.dfy
• Bug99.dfy.expect
• Circ.dfy
• Circ.dfy.expect
• ClassRefinement.dfy
• ClassRefinement.dfy.expect
• CoqArt-InsertionSort.dfy
• CoqArt-InsertionSort.dfy.expect
• FlyingRobots.dfy
• FlyingRobots.dfy.expect
• Fstar-QuickSort.dfy
• Fstar-QuickSort.dfy.expect
• GHC-MergeSort.dfy
• GHC-MergeSort.dfy.expect
• Juggernaut.dfy
• Juggernaut.dfy.expect
• KozenSilva.dfy
• KozenSilva.dfy.expect
• LargeConstants.dfy
• LargeConstants.dfy.expect
• Leq.dfy
• Leq.dfy.expect
• NipkowKlein-chapter3.dfy
• NipkowKlein-chapter3.dfy.expect
• NipkowKlein-chapter7.dfy
• NipkowKlein-chapter7.dfy.expect
• NumberRepresentations.dfy
• NumberRepresentations.dfy.expect
• Primes.dfy
• Primes.dfy.expect
• Regression0.dfy
• Regression0.dfy.expect
• Regression1.dfy
• Regression1.dfy.expect
• SoftwareFoundations-Basics.dfy
• SoftwareFoundations-Basics.dfy.expect
• UnionFind.dfy
• UnionFind.dfy.expect
• bug72.dfy.expect
• set-compr.dfy
• set-compr.dfy.expect