7 val aboutMenuItem : GMenu.menu_item
8 val consoleEventBox : GBin.event_box
9 val debugMenu : GMenu.menu_item
10 val debugMenu_menu : GMenu.menu
11 val editMenu : GMenu.menu_item
12 val fileMenu : GMenu.menu_item
13 val fileMenu_menu : GMenu.menu
15 val helpMenu : GMenu.menu_item
16 val helpMenu_menu : GMenu.menu
17 val hideConsoleButton : GButton.button
18 val image164 : GMisc.image
19 val image165 : GMisc.image
20 val image166 : GMisc.image
21 val image167 : GMisc.image
22 val image168 : GMisc.image
23 val image169 : GMisc.image
24 val mainMenuBar : GMenu.menu_shell
25 val mainStatusBar : GMisc.statusbar
26 val mainVPanes : GPack.paned
27 val mainWin : GWindow.window
28 val mainWinEventBox : GBin.event_box
29 val mainWinShape : GPack.box
30 val newDefsMenuItem : GMenu.menu_item
31 val newMenu : GMenu.image_menu_item
32 val newMenu_menu : GMenu.menu
33 val newProofMenuItem : GMenu.menu_item
34 val openMenuItem : GMenu.image_menu_item
35 val quitMenuItem : GMenu.image_menu_item
36 val saveAsMenuItem : GMenu.image_menu_item
37 val saveMenuItem : GMenu.image_menu_item
38 val scrolledConsole : GBin.scrolled_window
39 val separator1 : GMenu.menu_item
40 val separator2 : GMenu.menu_item
41 val separator3 : GMenu.menu_item
42 val sequentsNotebook : GPack.notebook
43 val showCheckMenuItem : GMenu.check_menu_item
44 val showConsoleMenuItem : GMenu.menu_item
45 val showProofMenuItem : GMenu.check_menu_item
46 val showScriptMenuItem : GMenu.check_menu_item
47 val showToolBarMenuItem : GMenu.check_menu_item
48 val toplevel : GWindow.window
50 val viewMenu : GMenu.menu_item
51 val viewMenu_menu : GMenu.menu
52 val xml : Glade.glade_xml Gtk.obj
53 method aboutMenuItem : GMenu.menu_item
54 method bind : name:string -> callback:(unit -> unit) -> unit
55 method check_widgets : unit -> unit
56 method consoleEventBox : GBin.event_box
57 method debugMenu : GMenu.menu_item
58 method debugMenu_menu : GMenu.menu
59 method editMenu : GMenu.menu_item
60 method fileMenu : GMenu.menu_item
61 method fileMenu_menu : GMenu.menu
62 method hbox4 : GPack.box
63 method helpMenu : GMenu.menu_item
64 method helpMenu_menu : GMenu.menu
65 method hideConsoleButton : GButton.button
66 method image164 : GMisc.image
67 method image165 : GMisc.image
68 method image166 : GMisc.image
69 method image167 : GMisc.image
70 method image168 : GMisc.image
71 method image169 : GMisc.image
72 method mainMenuBar : GMenu.menu_shell
73 method mainStatusBar : GMisc.statusbar
74 method mainVPanes : GPack.paned
75 method mainWin : GWindow.window
76 method mainWinEventBox : GBin.event_box
77 method mainWinShape : GPack.box
78 method newDefsMenuItem : GMenu.menu_item
79 method newMenu : GMenu.image_menu_item
80 method newMenu_menu : GMenu.menu
81 method newProofMenuItem : GMenu.menu_item
82 method openMenuItem : GMenu.image_menu_item
83 method quitMenuItem : GMenu.image_menu_item
84 method reparent : GObj.widget -> unit
85 method saveAsMenuItem : GMenu.image_menu_item
86 method saveMenuItem : GMenu.image_menu_item
87 method scrolledConsole : GBin.scrolled_window
88 method separator1 : GMenu.menu_item
89 method separator2 : GMenu.menu_item
90 method separator3 : GMenu.menu_item
91 method sequentsNotebook : GPack.notebook
92 method showCheckMenuItem : GMenu.check_menu_item
93 method showConsoleMenuItem : GMenu.menu_item
94 method showProofMenuItem : GMenu.check_menu_item
95 method showScriptMenuItem : GMenu.check_menu_item
96 method showToolBarMenuItem : GMenu.check_menu_item
97 method toplevel : GWindow.window
98 method vbox6 : GPack.box
99 method viewMenu : GMenu.menu_item
100 method viewMenu_menu : GMenu.menu
101 method xml : Glade.glade_xml Gtk.obj
109 val proofWin : GWindow.window
110 val proofWinEventBox : GBin.event_box
111 val scrolledProof : GBin.scrolled_window
112 val toplevel : GWindow.window
113 val xml : Glade.glade_xml Gtk.obj
114 method bind : name:string -> callback:(unit -> unit) -> unit
115 method check_widgets : unit -> unit
116 method proofWin : GWindow.window
117 method proofWinEventBox : GBin.event_box
118 method reparent : GObj.widget -> unit
119 method scrolledProof : GBin.scrolled_window
120 method toplevel : GWindow.window
121 method xml : Glade.glade_xml Gtk.obj
123 class fileSelectionWin :
129 val fileSelCancelButton : GButton.button
130 val fileSelOkButton : GButton.button
131 val fileSelectionWin : GWindow.file_selection
132 val toplevel : GWindow.file_selection
133 val xml : Glade.glade_xml Gtk.obj
134 method bind : name:string -> callback:(unit -> unit) -> unit
135 method check_widgets : unit -> unit
136 method fileSelCancelButton : GButton.button
137 method fileSelOkButton : GButton.button
138 method fileSelectionWin : GWindow.file_selection
139 method toplevel : GWindow.file_selection
140 method xml : Glade.glade_xml Gtk.obj
148 val applyButton : GButton.button
149 val assumptionButton : GButton.button
150 val autoButton : GButton.button
151 val cutButton : GButton.button
152 val elimButton : GButton.button
153 val elimTypeButton : GButton.button
154 val exactButton : GButton.button
155 val existsButton : GButton.button
156 val introsButton : GButton.button
157 val leftButton : GButton.button
158 val reflexivityButton : GButton.button
159 val replaceButton : GButton.button
160 val rightButton : GButton.button
161 val splitButton : GButton.button
162 val symmetryButton : GButton.button
163 val toolBarEventBox : GBin.event_box
164 val toolBarVBox : GPack.box
165 val toolBarWin : GWindow.window
166 val toolbar2 : GButton.toolbar
167 val toolbar3 : GButton.toolbar
168 val toolbar4 : GButton.toolbar
169 val toolbar5 : GButton.toolbar
170 val toolbar6 : GButton.toolbar
171 val toolbar7 : GButton.toolbar
172 val toplevel : GWindow.window
173 val transitivityButton : GButton.button
174 val xml : Glade.glade_xml Gtk.obj
175 method applyButton : GButton.button
176 method assumptionButton : GButton.button
177 method autoButton : GButton.button
178 method bind : name:string -> callback:(unit -> unit) -> unit
179 method check_widgets : unit -> unit
180 method cutButton : GButton.button
181 method elimButton : GButton.button
182 method elimTypeButton : GButton.button
183 method exactButton : GButton.button
184 method existsButton : GButton.button
185 method introsButton : GButton.button
186 method leftButton : GButton.button
187 method reflexivityButton : GButton.button
188 method reparent : GObj.widget -> unit
189 method replaceButton : GButton.button
190 method rightButton : GButton.button
191 method splitButton : GButton.button
192 method symmetryButton : GButton.button
193 method toolBarEventBox : GBin.event_box
194 method toolBarVBox : GPack.box
195 method toolBarWin : GWindow.window
196 method toolbar2 : GButton.toolbar
197 method toolbar3 : GButton.toolbar
198 method toolbar4 : GButton.toolbar
199 method toolbar5 : GButton.toolbar
200 method toolbar6 : GButton.toolbar
201 method toolbar7 : GButton.toolbar
202 method toplevel : GWindow.window
203 method transitivityButton : GButton.button
204 method xml : Glade.glade_xml Gtk.obj
206 class confirmationDialog :
212 val confirmationDialog : GWindow.dialog_any
213 val confirmationDialogCancelButton : GButton.button
214 val confirmationDialogLabel : GMisc.label
215 val confirmationDialogOkButton : GButton.button
216 val dialog_action_area1 : GPack.button_box
217 val dialog_vbox1 : GPack.box
218 val toplevel : GWindow.dialog_any
219 val xml : Glade.glade_xml Gtk.obj
220 method bind : name:string -> callback:(unit -> unit) -> unit
221 method check_widgets : unit -> unit
222 method confirmationDialog : GWindow.dialog_any
223 method confirmationDialogCancelButton : GButton.button
224 method confirmationDialogLabel : GMisc.label
225 method confirmationDialogOkButton : GButton.button
226 method dialog_action_area1 : GPack.button_box
227 method dialog_vbox1 : GPack.box
228 method reparent : GObj.widget -> unit
229 method toplevel : GWindow.dialog_any
230 method xml : Glade.glade_xml Gtk.obj
238 val aboutDismissButton : GButton.button
239 val aboutLabel : GMisc.label
240 val aboutWin : GWindow.dialog_any
241 val dialog_action_area2 : GPack.button_box
242 val dialog_vbox2 : GPack.box
243 val toplevel : GWindow.dialog_any
244 val xml : Glade.glade_xml Gtk.obj
245 method aboutDismissButton : GButton.button
246 method aboutLabel : GMisc.label
247 method aboutWin : GWindow.dialog_any
248 method bind : name:string -> callback:(unit -> unit) -> unit
249 method check_widgets : unit -> unit
250 method dialog_action_area2 : GPack.button_box
251 method dialog_vbox2 : GPack.box
252 method reparent : GObj.widget -> unit
253 method toplevel : GWindow.dialog_any
254 method xml : Glade.glade_xml Gtk.obj
256 class uriChoiceDialog :
262 val alignment1 : GBin.alignment
263 val alignment2 : GBin.alignment
264 val dialog_action_area3 : GPack.button_box
265 val dialog_vbox3 : GPack.box
266 val entry1 : GEdit.entry
267 val hbox1 : GPack.box
268 val hbox2 : GPack.box
269 val hbox3 : GPack.box
270 val image18 : GMisc.image
271 val image19 : GMisc.image
272 val label1 : GMisc.label
273 val label2 : GMisc.label
274 val label3 : GMisc.label
275 val scrolledwindow1 : GBin.scrolled_window
276 val toplevel : GWindow.dialog_any
277 val uriChoiceAbortButton : GButton.button
278 val uriChoiceAutoButton : GButton.button
279 val uriChoiceConstantsButton : GButton.button
280 val uriChoiceDialog : GWindow.dialog_any
281 val uriChoiceLabel : GMisc.label
282 val uriChoiceSelectedButton : GButton.button
283 val uriChoiceTreeView : GTree.view
284 val vbox2 : GPack.box
285 val xml : Glade.glade_xml Gtk.obj
286 method alignment1 : GBin.alignment
287 method alignment2 : GBin.alignment
288 method bind : name:string -> callback:(unit -> unit) -> unit
289 method check_widgets : unit -> unit
290 method dialog_action_area3 : GPack.button_box
291 method dialog_vbox3 : GPack.box
292 method entry1 : GEdit.entry
293 method hbox1 : GPack.box
294 method hbox2 : GPack.box
295 method hbox3 : GPack.box
296 method image18 : GMisc.image
297 method image19 : GMisc.image
298 method label1 : GMisc.label
299 method label2 : GMisc.label
300 method label3 : GMisc.label
301 method reparent : GObj.widget -> unit
302 method scrolledwindow1 : GBin.scrolled_window
303 method toplevel : GWindow.dialog_any
304 method uriChoiceAbortButton : GButton.button
305 method uriChoiceAutoButton : GButton.button
306 method uriChoiceConstantsButton : GButton.button
307 method uriChoiceDialog : GWindow.dialog_any
308 method uriChoiceLabel : GMisc.label
309 method uriChoiceSelectedButton : GButton.button
310 method uriChoiceTreeView : GTree.view
311 method vbox2 : GPack.box
312 method xml : Glade.glade_xml Gtk.obj
314 class interpChoiceDialog :
320 val dialog_action_area4 : GPack.button_box
321 val dialog_vbox4 : GPack.box
322 val interpChoiceCancelButton : GButton.button
323 val interpChoiceDialog : GWindow.dialog_any
324 val interpChoiceDialogLabel : GMisc.label
325 val interpChoiceHelpButton : GButton.button
326 val interpChoiceOkButton : GButton.button
327 val interpChoiceTreeView : GTree.view
328 val scrolledwindow4 : GBin.scrolled_window
329 val toplevel : GWindow.dialog_any
330 val vbox3 : GPack.box
331 val xml : Glade.glade_xml Gtk.obj
332 method bind : name:string -> callback:(unit -> unit) -> unit
333 method check_widgets : unit -> unit
334 method dialog_action_area4 : GPack.button_box
335 method dialog_vbox4 : GPack.box
336 method interpChoiceCancelButton : GButton.button
337 method interpChoiceDialog : GWindow.dialog_any
338 method interpChoiceDialogLabel : GMisc.label
339 method interpChoiceHelpButton : GButton.button
340 method interpChoiceOkButton : GButton.button
341 method interpChoiceTreeView : GTree.view
342 method reparent : GObj.widget -> unit
343 method scrolledwindow4 : GBin.scrolled_window
344 method toplevel : GWindow.dialog_any
345 method vbox3 : GPack.box
346 method xml : Glade.glade_xml Gtk.obj
354 val dialog_action_area5 : GPack.button_box
355 val emptyDialog : GWindow.dialog_any
356 val emptyDialogCancelButton : GButton.button
357 val emptyDialogLabel : GMisc.label
358 val emptyDialogOkButton : GButton.button
359 val emptyDialogVBox : GPack.box
360 val toplevel : GWindow.dialog_any
361 val xml : Glade.glade_xml Gtk.obj
362 method bind : name:string -> callback:(unit -> unit) -> unit
363 method check_widgets : unit -> unit
364 method dialog_action_area5 : GPack.button_box
365 method emptyDialog : GWindow.dialog_any
366 method emptyDialogCancelButton : GButton.button
367 method emptyDialogLabel : GMisc.label
368 method emptyDialogOkButton : GButton.button
369 method emptyDialogVBox : GPack.box
370 method reparent : GObj.widget -> unit
371 method toplevel : GWindow.dialog_any
372 method xml : Glade.glade_xml Gtk.obj
380 val checkWin : GWindow.window
381 val checkWinEventBox : GBin.event_box
382 val scrolledCheck : GBin.scrolled_window
383 val toplevel : GWindow.window
384 val xml : Glade.glade_xml Gtk.obj
385 method bind : name:string -> callback:(unit -> unit) -> unit
386 method checkWin : GWindow.window
387 method checkWinEventBox : GBin.event_box
388 method check_widgets : unit -> unit
389 method reparent : GObj.widget -> unit
390 method scrolledCheck : GBin.scrolled_window
391 method toplevel : GWindow.window
392 method xml : Glade.glade_xml Gtk.obj
400 val image133 : GMisc.image
401 val image134 : GMisc.image
402 val image135 : GMisc.image
403 val label7 : GMisc.label
404 val label8 : GMisc.label
405 val scriptNotebook : GPack.notebook
406 val scriptTextView : GText.view
407 val scriptWin : GWindow.window
408 val scriptWinBackButton : GButton.button
409 val scriptWinEventBox : GBin.event_box
410 val scriptWinForwardButton : GButton.button
411 val scriptWinJumpButton : GButton.button
412 val scrolledScript : GBin.scrolled_window
413 val scrolledwindow3 : GBin.scrolled_window
414 val toolbar1 : GButton.toolbar
415 val toplevel : GWindow.window
416 val treeview1 : GTree.view
417 val vbox4 : GPack.box
418 val xml : Glade.glade_xml Gtk.obj
419 method bind : name:string -> callback:(unit -> unit) -> unit
420 method check_widgets : unit -> unit
421 method image133 : GMisc.image
422 method image134 : GMisc.image
423 method image135 : GMisc.image
424 method label7 : GMisc.label
425 method label8 : GMisc.label
426 method reparent : GObj.widget -> unit
427 method scriptNotebook : GPack.notebook
428 method scriptTextView : GText.view
429 method scriptWin : GWindow.window
430 method scriptWinBackButton : GButton.button
431 method scriptWinEventBox : GBin.event_box
432 method scriptWinForwardButton : GButton.button
433 method scriptWinJumpButton : GButton.button
434 method scrolledScript : GBin.scrolled_window
435 method scrolledwindow3 : GBin.scrolled_window
436 method toolbar1 : GButton.toolbar
437 method toplevel : GWindow.window
438 method treeview1 : GTree.view
439 method vbox4 : GPack.box
440 method xml : Glade.glade_xml Gtk.obj
448 val hbuttonbox1 : GPack.button_box
449 val scrolledwindow2 : GBin.scrolled_window
450 val textDialog : GWindow.dialog_any
451 val textDialogCancelButton : GButton.button
452 val textDialogLabel : GMisc.label
453 val textDialogOkButton : GButton.button
454 val textDialogTextView : GText.view
455 val toplevel : GWindow.dialog_any
456 val vbox5 : GPack.box
457 val xml : Glade.glade_xml Gtk.obj
458 method bind : name:string -> callback:(unit -> unit) -> unit
459 method check_widgets : unit -> unit
460 method hbuttonbox1 : GPack.button_box
461 method reparent : GObj.widget -> unit
462 method scrolledwindow2 : GBin.scrolled_window
463 method textDialog : GWindow.dialog_any
464 method textDialogCancelButton : GButton.button
465 method textDialogLabel : GMisc.label
466 method textDialogOkButton : GButton.button
467 method textDialogTextView : GText.view
468 method toplevel : GWindow.dialog_any
469 method vbox5 : GPack.box
470 method xml : Glade.glade_xml Gtk.obj
472 val check_all : ?show:bool -> unit -> unit