-\e[0;34mDebug: \e[0mExecuting: ``include coq.ma''
-\e[0;34mDebug: \e[0mExecuting: ``alias id "O" = "cic:/Coq/Init/Datatypes/nat.ind#xp ...''
-\e[0;34mDebug: \e[0mExecuting: ``alias id "S" = "cic:/Coq/Init/Datatypes/nat.ind#xp ...''
-\e[0;34mDebug: \e[0mExecuting: ``alias id "nat" = "cic:/Coq/Init/Datatypes/nat.ind# ...''
-\e[0;34mDebug: \e[0mExecuting: ``alias symbol "eq" (instance 0) = "Coq's leibnitz's ...''
-\e[0;34mDebug: \e[0mExecuting: ``alias symbol "minus" (instance 0) = "Coq's natural ...''
-\e[0;34mDebug: \e[0mExecuting: ``alias symbol "plus" (instance 0) = "Coq's natural ...''
-\e[0;34mDebug: \e[0mExecuting: ``alias symbol "times" (instance 0) = "Coq's natural ...''