Helm_registry.load_from !configuration_file;
CicNotation.load_notation core_notation_script;
CicNotation.load_notation "../../matita/coq.moo";
Helm_registry.load_from !configuration_file;
CicNotation.load_notation core_notation_script;
CicNotation.load_notation "../../matita/coq.moo";