--- /dev/null
+class mainWin :
+ ?file:string ->
+ ?domain:string ->
+ ?autoconnect:bool ->
+ unit ->
+ object
+ val aboutMenuItem : GMenu.menu_item
+ 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 image13 : GMisc.image
+ val image14 : GMisc.image
+ val image15 : GMisc.image
+ val image16 : GMisc.image
+ val image17 : GMisc.image
+ val mainMenuBar : GMenu.menu_shell
+ val mainStatusBar : GMisc.statusbar
+ val mainVPanes : GPack.paned
+ val mainWin : GWindow.window
+ 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 proofStatus : GBin.scrolled_window
+ val quitMenuItem : GMenu.image_menu_item
+ val saveAsMenuItem : GMenu.image_menu_item
+ val saveMenuItem : GMenu.image_menu_item
+ val scrolledUserInput : GBin.scrolled_window
+ val separator1 : GMenu.menu_item
+ val showProofMenuItem : GMenu.check_menu_item
+ val showToolBarMenuItem : GMenu.check_menu_item
+ val toplevel : GWindow.window
+ 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 fileMenu : GMenu.menu_item
+ method fileMenu_menu : GMenu.menu
+ method helpMenu : GMenu.menu_item
+ method helpMenu_menu : GMenu.menu
+ method image13 : GMisc.image
+ method image14 : GMisc.image
+ method image15 : GMisc.image
+ method image16 : GMisc.image
+ method image17 : GMisc.image
+ method mainMenuBar : GMenu.menu_shell
+ method mainStatusBar : GMisc.statusbar
+ method mainVPanes : GPack.paned
+ method mainWin : GWindow.window
+ 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 proofStatus : GBin.scrolled_window
+ method quitMenuItem : GMenu.image_menu_item
+ method reparent : GObj.widget -> unit
+ method saveAsMenuItem : GMenu.image_menu_item
+ method saveMenuItem : GMenu.image_menu_item
+ method scrolledUserInput : GBin.scrolled_window
+ method separator1 : GMenu.menu_item
+ method showProofMenuItem : GMenu.check_menu_item
+ method showToolBarMenuItem : GMenu.check_menu_item
+ method toplevel : GWindow.window
+ 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 aboutDismissButton : GButton.button
+ val aboutWin : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ val dialog_vbox2 : GPack.box
+ val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ val xml : Glade.glade_xml Gtk.obj
+ method aboutDismissButton : GButton.button
+ 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 reparent : GObj.widget -> unit
+ method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ 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_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 : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ val uriChoiceAbortButton : GButton.button
+ val uriChoiceAutoButton : GButton.button
+ val uriChoiceConstantsButton : GButton.button
+ val uriChoiceDialog :
+ [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ 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_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 : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ method uriChoiceAbortButton : GButton.button
+ method uriChoiceAutoButton : GButton.button
+ method uriChoiceConstantsButton : GButton.button
+ method uriChoiceDialog :
+ [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ 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_vbox4 : GPack.box
+ val interpChoiceCancelButton : GButton.button
+ val interpChoiceDialog :
+ [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ val interpChoiceHelpButton : GButton.button
+ val interpChoiceOkButton : GButton.button
+ val label6 : GMisc.label
+ val toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ 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_vbox4 : GPack.box
+ method interpChoiceCancelButton : GButton.button
+ method interpChoiceDialog :
+ [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ method interpChoiceHelpButton : GButton.button
+ method interpChoiceOkButton : GButton.button
+ method label6 : GMisc.label
+ method reparent : GObj.widget -> unit
+ method toplevel : [ `DELETE_EVENT | `ID of int | `NONE ] GWindow.dialog
+ method vbox3 : GPack.box
+ method xml : Glade.glade_xml Gtk.obj
+ end
+val check_all : ?show:bool -> unit -> unit