class mainWin :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val aboutMenuItem : GMenu.menu_item
    val editMenu : GMenu.menu_item
    val exitMenuItem : GMenu.menu_item
    val fileMenu : GMenu.menu_item
    val fileMenu_menu : GMenu.menu
    val helpMenu : GMenu.menu_item
    val helpMenu_menu : GMenu.menu
    val mainMenuBar : GMenu.menu_shell
    val mainStatusBar : GMisc.statusbar
    val mainVPanes : GPack.paned
    val mainWin : GWindow.window
    val mainWinShape : GPack.box
    val proofStatus : GBin.scrolled_window
    val scrolledUserInput : GBin.scrolled_window
    val showProofMenuItem : GMenu.check_menu_item
    val showToolBarMenuItem : GMenu.check_menu_item
    val toplevel : GWindow.window
    val userInput : GText.view
    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 editMenu : GMenu.menu_item
    method exitMenuItem : GMenu.menu_item
    method fileMenu : GMenu.menu_item
    method fileMenu_menu : GMenu.menu
    method helpMenu : GMenu.menu_item
    method helpMenu_menu : GMenu.menu
    method mainMenuBar : GMenu.menu_shell
    method mainStatusBar : GMisc.statusbar
    method mainVPanes : GPack.paned
    method mainWin : GWindow.window
    method mainWinShape : GPack.box
    method proofStatus : GBin.scrolled_window
    method reparent : GObj.widget -> unit
    method scrolledUserInput : GBin.scrolled_window
    method showProofMenuItem : GMenu.check_menu_item
    method showToolBarMenuItem : GMenu.check_menu_item
    method toplevel : GWindow.window
    method userInput : GText.view
    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 viewport1 : GBin.viewport
    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 viewport1 : GBin.viewport
    method xml : Glade.glade_xml Gtk.obj
  end
class fileSelectionWin :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val cancel_button1 : GButton.button
    val fileSelectionWin : GWindow.file_selection
    val ok_button1 : GButton.button
    val toplevel : GWindow.file_selection
    val xml : Glade.glade_xml Gtk.obj
    method bind : name:string -> callback:(unit -> unit) -> unit
    method cancel_button1 : GButton.button
    method check_widgets : unit -> unit
    method fileSelectionWin : GWindow.file_selection
    method ok_button1 : GButton.button
    method toplevel : GWindow.file_selection
    method xml : Glade.glade_xml Gtk.obj
  end
class toolBarWin :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val button1 : GButton.button
    val button2 : GButton.button
    val button3 : GButton.button
    val button4 : GButton.button
    val toolBarEventBox : GBin.event_box
    val toolBarWin : GWindow.window
    val toplevel : GWindow.window
    val vbox1 : GPack.box
    val xml : Glade.glade_xml Gtk.obj
    method bind : name:string -> callback:(unit -> unit) -> unit
    method button1 : GButton.button
    method button2 : GButton.button
    method button3 : GButton.button
    method button4 : GButton.button
    method check_widgets : unit -> unit
    method reparent : GObj.widget -> unit
    method toolBarEventBox : GBin.event_box
    method toolBarWin : GWindow.window
    method toplevel : GWindow.window
    method vbox1 : GPack.box
    method xml : Glade.glade_xml Gtk.obj
  end
class genericDialog :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val cancelbutton1 : GButton.button
    val dialog_vbox1 : GPack.box
    val genericDialog : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    val okbutton1 : GButton.button
    val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    val xml : Glade.glade_xml Gtk.obj
    method bind : name:string -> callback:(unit -> unit) -> unit
    method cancelbutton1 : GButton.button
    method check_widgets : unit -> unit
    method dialog_vbox1 : GPack.box
    method genericDialog :
      [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    method okbutton1 : GButton.button
    method reparent : GObj.widget -> unit
    method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    method xml : Glade.glade_xml Gtk.obj
  end
class aboutWin :
  ?file:string ->
  ?domain:string ->
  ?autoconnect:bool ->
  unit ->
  object
    val aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    val dialog_vbox2 : GPack.box
    val okbutton2 : GButton.button
    val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    val xml : Glade.glade_xml Gtk.obj
    method aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    method bind : name:string -> callback:(unit -> unit) -> unit
    method check_widgets : unit -> unit
    method dialog_vbox2 : GPack.box
    method okbutton2 : GButton.button
    method reparent : GObj.widget -> unit
    method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
    method xml : Glade.glade_xml Gtk.obj
  end
val check_all : ?show:bool -> unit -> unit