diff --git a/demonstration/aMinimumOfThree.dfy b/demonstration/AMinimumOfThree.dfy
similarity index 100%
rename from demonstration/aMinimumOfThree.dfy
rename to demonstration/AMinimumOfThree.dfy
diff --git a/demonstration/bCountLeadingZeros.dfy b/demonstration/BCountLeadingZeros.dfy
similarity index 100%
rename from demonstration/bCountLeadingZeros.dfy
rename to demonstration/BCountLeadingZeros.dfy
diff --git a/demonstration/cListToSet.dfy b/demonstration/CListToSet.dfy
similarity index 100%
rename from demonstration/cListToSet.dfy
rename to demonstration/CListToSet.dfy
diff --git a/demonstration/dSetToList.dfy b/demonstration/DSetToList.dfy
similarity index 100%
rename from demonstration/dSetToList.dfy
rename to demonstration/DSetToList.dfy
diff --git a/demonstration/eCopyValues.dfy b/demonstration/ECopyValues.dfy
similarity index 100%
rename from demonstration/eCopyValues.dfy
rename to demonstration/ECopyValues.dfy
diff --git a/practice/cMapOverSequence.dfy b/practice/CMapOverSequence.dfy
similarity index 100%
rename from practice/cMapOverSequence.dfy
rename to practice/CMapOverSequence.dfy
diff --git a/practice/dReverse.dfy b/practice/DReverse.dfy
similarity index 100%
rename from practice/dReverse.dfy
rename to practice/DReverse.dfy