/Test/dafny4/

• ../
• ACL2-extractor.dfy
• ACL2-extractor.dfy.expect
• Ackermann.dfy
• Ackermann.dfy.expect
• BinarySearch.dfy
• BinarySearch.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
• Circ.dfy
• Circ.dfy.expect
• ClassRefinement.dfy
• ClassRefinement.dfy.expect
• CoqArt-InsertionSort.dfy
• CoqArt-InsertionSort.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
• bug72.dfy.expect
• set-compr.dfy
• set-compr.dfy.expect