object (* minimal gui object requirements *)
method newUriDialog: unit -> MatitaGeneratedGui.uriChoiceDialog
method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog
object (* minimal gui object requirements *)
method newUriDialog: unit -> MatitaGeneratedGui.uriChoiceDialog
method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog