Recased filenames per the current draft of the Dafny style guide.

5dbf6147 · Brady James Garvin · 562a6b54 · 5dbf6147 · 5dbf6147 · 5dbf6147
Commit 5dbf6147 authored 2 years ago by Brady James Garvin
--- a/demonstration/aMinimumOfThree.dfy
+++ b/demonstration/aMinimumOfThree.dfy
--- a/demonstration/bCountLeadingZeros.dfy
+++ b/demonstration/bCountLeadingZeros.dfy
--- a/demonstration/cListToSet.dfy
+++ b/demonstration/cListToSet.dfy
--- a/demonstration/dSetToList.dfy
+++ b/demonstration/dSetToList.dfy
--- a/demonstration/eCopyValues.dfy
+++ b/demonstration/eCopyValues.dfy
--- a/practice/cMapOverSequence.dfy
+++ b/practice/cMapOverSequence.dfy
--- a/practice/dReverse.dfy
+++ b/practice/dReverse.dfy