+++ /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.