--- /dev/null
+Load Verbose provacoqArith.
+Load Verbose provacoqBool.
+Load Verbose provacoqInit.
+Load Verbose provacoqLists.
+Load Verbose provacoqLogic.
+Load Verbose provacoqReals.
+Load Verbose provacoqRelations.
+Load Verbose provacoqSets.
+(*Load Verbose provacoqSorting.*)
+(*Load Verbose provacoqTrees.*)
+Load Verbose provacoqZArith.
+
+Load Verbose provacoqcontribRing.
+Load Verbose provacoqcontribOmega.