* http://helm.cs.unibo.it/
*)
+exception Command_error of string
+
class interpreter:
disambiguator:MatitaTypes.disambiguator ->
proof_handler:MatitaTypes.proof_handler ->
console:MatitaConsole.console ->
+ dbd:Mysql.dbd ->
unit ->
MatitaTypes.interpreter