class mainWin :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val aboutMenuItem : GMenu.menu_item
    val consoleEventBox : GBin.event_box
    val consoleHBox : GPack.box
    val debugMenu : GMenu.menu_item
    val debugMenu_menu : GMenu.menu
    val editMenu : GMenu.menu_item
    val fileMenu : GMenu.menu_item
    val fileMenu_menu : GMenu.menu
    val helpMenu : GMenu.menu_item
    val helpMenu_menu : GMenu.menu
    val hideConsoleButton : GButton.button
    val image169 : GMisc.image
    val image174 : GMisc.image
    val image175 : GMisc.image
    val image176 : GMisc.image
    val image177 : GMisc.image
    val image178 : GMisc.image
    val mainMenuBar : GMenu.menu_shell
    val mainStatusBar : GMisc.statusbar
    val mainVPanes : GPack.paned
    val mainWin : GWindow.window
    val mainWinEventBox : GBin.event_box
    val mainWinShape : GPack.box
    val newDefsMenuItem : GMenu.menu_item
    val newMenu : GMenu.image_menu_item
    val newMenu_menu : GMenu.menu
    val newProofMenuItem : GMenu.menu_item
    val openMenuItem : GMenu.image_menu_item
    val quitMenuItem : GMenu.image_menu_item
    val saveAsMenuItem : GMenu.image_menu_item
    val saveMenuItem : GMenu.image_menu_item
    val scrolledConsole : GBin.scrolled_window
    val separator1 : GMenu.menu_item
    val separator2 : GMenu.menu_item
    val separator3 : GMenu.menu_item
    val sequentsNotebook : GPack.notebook
    val showCheckMenuItem : GMenu.check_menu_item
    val showConsoleMenuItem : GMenu.menu_item
    val showProofMenuItem : GMenu.check_menu_item
    val showScriptMenuItem : GMenu.check_menu_item
    val showToolBarMenuItem : GMenu.check_menu_item
    val toplevel : GWindow.window
    val vbox6 : GPack.box
    val viewMenu : GMenu.menu_item
    val viewMenu_menu : GMenu.menu
    val xml : Glade.glade_xml Gtk.obj
    method aboutMenuItem : GMenu.menu_item
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method consoleEventBox : GBin.event_box
    method consoleHBox : GPack.box
    method debugMenu : GMenu.menu_item
    method debugMenu_menu : GMenu.menu
    method editMenu : GMenu.menu_item
    method fileMenu : GMenu.menu_item
    method fileMenu_menu : GMenu.menu
    method helpMenu : GMenu.menu_item
    method helpMenu_menu : GMenu.menu
    method hideConsoleButton : GButton.button
    method image169 : GMisc.image
    method image174 : GMisc.image
    method image175 : GMisc.image
    method image176 : GMisc.image
    method image177 : GMisc.image
    method image178 : GMisc.image
    method mainMenuBar : GMenu.menu_shell
    method mainStatusBar : GMisc.statusbar
    method mainVPanes : GPack.paned
    method mainWin : GWindow.window
    method mainWinEventBox : GBin.event_box
    method mainWinShape : GPack.box
    method newDefsMenuItem : GMenu.menu_item
    method newMenu : GMenu.image_menu_item
    method newMenu_menu : GMenu.menu
    method newProofMenuItem : GMenu.menu_item
    method openMenuItem : GMenu.image_menu_item
    method quitMenuItem : GMenu.image_menu_item
    method reparent : GObj.widget -> unit
    method saveAsMenuItem : GMenu.image_menu_item
    method saveMenuItem : GMenu.image_menu_item
    method scrolledConsole : GBin.scrolled_window
    method separator1 : GMenu.menu_item
    method separator2 : GMenu.menu_item
    method separator3 : GMenu.menu_item
    method sequentsNotebook : GPack.notebook
    method showCheckMenuItem : GMenu.check_menu_item
    method showConsoleMenuItem : GMenu.menu_item
    method showProofMenuItem : GMenu.check_menu_item
    method showScriptMenuItem : GMenu.check_menu_item
    method showToolBarMenuItem : GMenu.check_menu_item
    method toplevel : GWindow.window
    method vbox6 : GPack.box
    method viewMenu : GMenu.menu_item
    method viewMenu_menu : GMenu.menu
    method xml : Glade.glade_xml Gtk.obj
  end
class proofWin :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val proofWin : GWindow.window
    val proofWinEventBox : GBin.event_box
    val scrolledProof : GBin.scrolled_window
    val toplevel : GWindow.window
    val xml : Glade.glade_xml Gtk.obj
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method proofWin : GWindow.window
    method proofWinEventBox : GBin.event_box
    method reparent : GObj.widget -> unit
    method scrolledProof : GBin.scrolled_window
    method toplevel : GWindow.window
    method xml : Glade.glade_xml Gtk.obj
  end
class fileSelectionWin :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val fileSelCancelButton : GButton.button
    val fileSelOkButton : GButton.button
    val fileSelectionWin : GWindow.file_selection
    val toplevel : GWindow.file_selection
    val xml : Glade.glade_xml Gtk.obj
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method fileSelCancelButton : GButton.button
    method fileSelOkButton : GButton.button
    method fileSelectionWin : GWindow.file_selection
    method toplevel : GWindow.file_selection
    method xml : Glade.glade_xml Gtk.obj
  end
class toolBarWin :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val applyButton : GButton.button
    val assumptionButton : GButton.button
    val autoButton : GButton.button
    val cutButton : GButton.button
    val elimButton : GButton.button
    val elimTypeButton : GButton.button
    val exactButton : GButton.button
    val existsButton : GButton.button
    val introsButton : GButton.button
    val leftButton : GButton.button
    val reduceButton : GButton.button
    val reflexivityButton : GButton.button
    val replaceButton : GButton.button
    val rightButton : GButton.button
    val simplifyButton : GButton.button
    val splitButton : GButton.button
    val symmetryButton : GButton.button
    val toolBarEventBox : GBin.event_box
    val toolBarVBox : GPack.box
    val toolBarWin : GWindow.window
    val toolbar2 : GButton.toolbar
    val toolbar3 : GButton.toolbar
    val toolbar4 : GButton.toolbar
    val toolbar5 : GButton.toolbar
    val toolbar6 : GButton.toolbar
    val toolbar7 : GButton.toolbar
    val toolbar8 : GButton.toolbar
    val toplevel : GWindow.window
    val transitivityButton : GButton.button
    val whdButton : GButton.button
    val xml : Glade.glade_xml Gtk.obj
    method applyButton : GButton.button
    method assumptionButton : GButton.button
    method autoButton : GButton.button
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method cutButton : GButton.button
    method elimButton : GButton.button
    method elimTypeButton : GButton.button
    method exactButton : GButton.button
    method existsButton : GButton.button
    method introsButton : GButton.button
    method leftButton : GButton.button
    method reduceButton : GButton.button
    method reflexivityButton : GButton.button
    method reparent : GObj.widget -> unit
    method replaceButton : GButton.button
    method rightButton : GButton.button
    method simplifyButton : GButton.button
    method splitButton : GButton.button
    method symmetryButton : GButton.button
    method toolBarEventBox : GBin.event_box
    method toolBarVBox : GPack.box
    method toolBarWin : GWindow.window
    method toolbar2 : GButton.toolbar
    method toolbar3 : GButton.toolbar
    method toolbar4 : GButton.toolbar
    method toolbar5 : GButton.toolbar
    method toolbar6 : GButton.toolbar
    method toolbar7 : GButton.toolbar
    method toolbar8 : GButton.toolbar
    method toplevel : GWindow.window
    method transitivityButton : GButton.button
    method whdButton : GButton.button
    method xml : Glade.glade_xml Gtk.obj
  end
class confirmationDialog :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val confirmationDialog : GWindow.dialog_any
    val confirmationDialogCancelButton : GButton.button
    val confirmationDialogLabel : GMisc.label
    val confirmationDialogOkButton : GButton.button
    val dialog_action_area1 : GPack.button_box
    val dialog_vbox1 : GPack.box
    val toplevel : GWindow.dialog_any
    val xml : Glade.glade_xml Gtk.obj
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method confirmationDialog : GWindow.dialog_any
    method confirmationDialogCancelButton : GButton.button
    method confirmationDialogLabel : GMisc.label
    method confirmationDialogOkButton : GButton.button
    method dialog_action_area1 : GPack.button_box
    method dialog_vbox1 : GPack.box
    method reparent : GObj.widget -> unit
    method toplevel : GWindow.dialog_any
    method xml : Glade.glade_xml Gtk.obj
  end
class aboutWin :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val aboutDismissButton : GButton.button
    val aboutLabel : GMisc.label
    val aboutWin : GWindow.dialog_any
    val dialog_action_area2 : GPack.button_box
    val dialog_vbox2 : GPack.box
    val toplevel : GWindow.dialog_any
    val xml : Glade.glade_xml Gtk.obj
    method aboutDismissButton : GButton.button
    method aboutLabel : GMisc.label
    method aboutWin : GWindow.dialog_any
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method dialog_action_area2 : GPack.button_box
    method dialog_vbox2 : GPack.box
    method reparent : GObj.widget -> unit
    method toplevel : GWindow.dialog_any
    method xml : Glade.glade_xml Gtk.obj
  end
class uriChoiceDialog :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val alignment1 : GBin.alignment
    val alignment2 : GBin.alignment
    val dialog_action_area3 : GPack.button_box
    val dialog_vbox3 : GPack.box
    val entry1 : GEdit.entry
    val hbox1 : GPack.box
    val hbox2 : GPack.box
    val hbox3 : GPack.box
    val image18 : GMisc.image
    val image19 : GMisc.image
    val label1 : GMisc.label
    val label2 : GMisc.label
    val label3 : GMisc.label
    val scrolledwindow1 : GBin.scrolled_window
    val toplevel : GWindow.dialog_any
    val uriChoiceAbortButton : GButton.button
    val uriChoiceAutoButton : GButton.button
    val uriChoiceConstantsButton : GButton.button
    val uriChoiceDialog : GWindow.dialog_any
    val uriChoiceLabel : GMisc.label
    val uriChoiceSelectedButton : GButton.button
    val uriChoiceTreeView : GTree.view
    val vbox2 : GPack.box
    val xml : Glade.glade_xml Gtk.obj
    method alignment1 : GBin.alignment
    method alignment2 : GBin.alignment
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method dialog_action_area3 : GPack.button_box
    method dialog_vbox3 : GPack.box
    method entry1 : GEdit.entry
    method hbox1 : GPack.box
    method hbox2 : GPack.box
    method hbox3 : GPack.box
    method image18 : GMisc.image
    method image19 : GMisc.image
    method label1 : GMisc.label
    method label2 : GMisc.label
    method label3 : GMisc.label
    method reparent : GObj.widget -> unit
    method scrolledwindow1 : GBin.scrolled_window
    method toplevel : GWindow.dialog_any
    method uriChoiceAbortButton : GButton.button
    method uriChoiceAutoButton : GButton.button
    method uriChoiceConstantsButton : GButton.button
    method uriChoiceDialog : GWindow.dialog_any
    method uriChoiceLabel : GMisc.label
    method uriChoiceSelectedButton : GButton.button
    method uriChoiceTreeView : GTree.view
    method vbox2 : GPack.box
    method xml : Glade.glade_xml Gtk.obj
  end
class interpChoiceDialog :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val dialog_action_area4 : GPack.button_box
    val dialog_vbox4 : GPack.box
    val interpChoiceCancelButton : GButton.button
    val interpChoiceDialog : GWindow.dialog_any
    val interpChoiceDialogLabel : GMisc.label
    val interpChoiceHelpButton : GButton.button
    val interpChoiceOkButton : GButton.button
    val interpChoiceTreeView : GTree.view
    val scrolledwindow4 : GBin.scrolled_window
    val toplevel : GWindow.dialog_any
    val vbox3 : GPack.box
    val xml : Glade.glade_xml Gtk.obj
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method dialog_action_area4 : GPack.button_box
    method dialog_vbox4 : GPack.box
    method interpChoiceCancelButton : GButton.button
    method interpChoiceDialog : GWindow.dialog_any
    method interpChoiceDialogLabel : GMisc.label
    method interpChoiceHelpButton : GButton.button
    method interpChoiceOkButton : GButton.button
    method interpChoiceTreeView : GTree.view
    method reparent : GObj.widget -> unit
    method scrolledwindow4 : GBin.scrolled_window
    method toplevel : GWindow.dialog_any
    method vbox3 : GPack.box
    method xml : Glade.glade_xml Gtk.obj
  end
class emptyDialog :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val dialog_action_area5 : GPack.button_box
    val emptyDialog : GWindow.dialog_any
    val emptyDialogCancelButton : GButton.button
    val emptyDialogLabel : GMisc.label
    val emptyDialogOkButton : GButton.button
    val emptyDialogVBox : GPack.box
    val toplevel : GWindow.dialog_any
    val xml : Glade.glade_xml Gtk.obj
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method dialog_action_area5 : GPack.button_box
    method emptyDialog : GWindow.dialog_any
    method emptyDialogCancelButton : GButton.button
    method emptyDialogLabel : GMisc.label
    method emptyDialogOkButton : GButton.button
    method emptyDialogVBox : GPack.box
    method reparent : GObj.widget -> unit
    method toplevel : GWindow.dialog_any
    method xml : Glade.glade_xml Gtk.obj
  end
class checkWin :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val checkWin : GWindow.window
    val checkWinEventBox : GBin.event_box
    val scrolledCheck : GBin.scrolled_window
    val toplevel : GWindow.window
    val xml : Glade.glade_xml Gtk.obj
    method bind : name:string -> callback:(unit -> unit) -> unit
    method checkWin : GWindow.window
    method checkWinEventBox : GBin.event_box
    method check_widgets : unit -> unit
    method reparent : GObj.widget -> unit
    method scrolledCheck : GBin.scrolled_window
    method toplevel : GWindow.window
    method xml : Glade.glade_xml Gtk.obj
  end
class scriptWin :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val image133 : GMisc.image
    val image134 : GMisc.image
    val image135 : GMisc.image
    val label7 : GMisc.label
    val label8 : GMisc.label
    val scriptNotebook : GPack.notebook
    val scriptTextView : GText.view
    val scriptWin : GWindow.window
    val scriptWinBackButton : GButton.button
    val scriptWinEventBox : GBin.event_box
    val scriptWinForwardButton : GButton.button
    val scriptWinJumpButton : GButton.button
    val scrolledScript : GBin.scrolled_window
    val scrolledwindow3 : GBin.scrolled_window
    val toolbar1 : GButton.toolbar
    val toplevel : GWindow.window
    val treeview1 : GTree.view
    val vbox4 : GPack.box
    val xml : Glade.glade_xml Gtk.obj
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method image133 : GMisc.image
    method image134 : GMisc.image
    method image135 : GMisc.image
    method label7 : GMisc.label
    method label8 : GMisc.label
    method reparent : GObj.widget -> unit
    method scriptNotebook : GPack.notebook
    method scriptTextView : GText.view
    method scriptWin : GWindow.window
    method scriptWinBackButton : GButton.button
    method scriptWinEventBox : GBin.event_box
    method scriptWinForwardButton : GButton.button
    method scriptWinJumpButton : GButton.button
    method scrolledScript : GBin.scrolled_window
    method scrolledwindow3 : GBin.scrolled_window
    method toolbar1 : GButton.toolbar
    method toplevel : GWindow.window
    method treeview1 : GTree.view
    method vbox4 : GPack.box
    method xml : Glade.glade_xml Gtk.obj
  end
class textDialog :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val hbuttonbox1 : GPack.button_box
    val scrolledwindow2 : GBin.scrolled_window
    val textDialog : GWindow.dialog_any
    val textDialogCancelButton : GButton.button
    val textDialogLabel : GMisc.label
    val textDialogOkButton : GButton.button
    val textDialogTextView : GText.view
    val toplevel : GWindow.dialog_any
    val vbox5 : GPack.box
    val xml : Glade.glade_xml Gtk.obj
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method hbuttonbox1 : GPack.button_box
    method reparent : GObj.widget -> unit
    method scrolledwindow2 : GBin.scrolled_window
    method textDialog : GWindow.dialog_any
    method textDialogCancelButton : GButton.button
    method textDialogLabel : GMisc.label
    method textDialogOkButton : GButton.button
    method textDialogTextView : GText.view
    method toplevel : GWindow.dialog_any
    method vbox5 : GPack.box
    method xml : Glade.glade_xml Gtk.obj
  end
val check_all : ?show:bool -> unit -> unit