For the modules in MenhirLib, adopt the convention that the first letter of...

For the modules in MenhirLib, adopt the convention that the first letter of the file name must be capitalized.

GNUmakefile

@@ -78,20 +78,20 @@ DISTRIBUTED_FILES := AUTHORS CHANGES INSTALLATION LICENSE Makefile demos
 
 LIBFILES := \
   src/standard.mly \
-  src/convert.{ml,mli} \
-  src/engine.{ml,mli} \
-  src/engineTypes.ml \
-  src/general.{ml,mli} \
+  src/Convert.{ml,mli} \
+  src/Engine.{ml,mli} \
+  src/EngineTypes.ml \
+  src/General.{ml,mli} \
   src/IncrementalEngine.ml \
-  src/infiniteArray.{ml,mli} \
-  src/inspectionTableFormat.ml \
-  src/inspectionTableInterpreter.{ml,mli} \
+  src/InfiniteArray.{ml,mli} \
+  src/InspectionTableFormat.ml \
+  src/InspectionTableInterpreter.{ml,mli} \
   src/LinearizedArray.{ml,mli} \
-  src/packedIntArray.{ml,mli} \
+  src/PackedIntArray.{ml,mli} \
   src/Printers.{ml,mli} \
-  src/rowDisplacement.{ml,mli}\
-  src/tableFormat.ml \
-  src/tableInterpreter.{ml,mli}
+  src/RowDisplacement.{ml,mli}\
+  src/TableFormat.ml \
+  src/TableInterpreter.{ml,mli}
 
 package: clean
 # Create a directory to store the distributed files temporarily.

LICENSE

 In the following, "the Library" refers to the following files:
 
   src/standard.mly
-  src/convert.{ml,mli}
-  src/engine.{ml,mli}
-  src/engineTypes.ml
-  src/general.{ml,mli}
+  src/Convert.{ml,mli}
+  src/Engine.{ml,mli}
+  src/EngineTypes.ml
+  src/General.{ml,mli}
   src/IncrementalEngine.ml
-  src/infiniteArray.{ml,mli}
-  src/inspectionTableFormat.ml
-  src/inspectionTableInterpreter.{ml,mli}
+  src/InfiniteArray.{ml,mli}
+  src/InspectionTableFormat.ml
+  src/InspectionTableInterpreter.{ml,mli}
   src/LinearizedArray.{ml,mli}
-  src/packedIntArray.{ml,mli}
+  src/PackedIntArray.{ml,mli}
   src/Printers.{ml,mli}
-  src/rowDisplacement.{ml,mli}
-  src/tableFormat.ml
-  src/tableInterpreter.{ml,mli}
+  src/RowDisplacement.{ml,mli}
+  src/TableFormat.ml
+  src/TableInterpreter.{ml,mli}
 
 while "the Generator" refers to all other files in this archive.