7 val aboutMenuItem : GMenu.menu_item
8 val consoleEventBox : GBin.event_box
9 val consoleHBox : GPack.box
10 val debugMenu : GMenu.menu_item
11 val debugMenu_menu : GMenu.menu
12 val editMenu : GMenu.menu_item
13 val fileMenu : GMenu.menu_item
14 val fileMenu_menu : GMenu.menu
15 val helpMenu : GMenu.menu_item
16 val helpMenu_menu : GMenu.menu
17 val hideConsoleButton : GButton.button
18 val image169 : GMisc.image
19 val image174 : GMisc.image
20 val image175 : GMisc.image
21 val image176 : GMisc.image
22 val image177 : GMisc.image
23 val image178 : 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 consoleHBox : GPack.box
58 method debugMenu : GMenu.menu_item
59 method debugMenu_menu : GMenu.menu
60 method editMenu : GMenu.menu_item
61 method fileMenu : GMenu.menu_item
62 method fileMenu_menu : GMenu.menu
63 method helpMenu : GMenu.menu_item
64 method helpMenu_menu : GMenu.menu
65 method hideConsoleButton : GButton.button
66 method image169 : GMisc.image
67 method image174 : GMisc.image
68 method image175 : GMisc.image
69 method image176 : GMisc.image
70 method image177 : GMisc.image
71 method image178 : 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 reduceButton : GButton.button
159 val reflexivityButton : GButton.button
160 val replaceButton : GButton.button
161 val rightButton : GButton.button
162 val simplifyButton : GButton.button
163 val splitButton : GButton.button
164 val symmetryButton : GButton.button
165 val toolBarEventBox : GBin.event_box
166 val toolBarVBox : GPack.box
167 val toolBarWin : GWindow.window
168 val toolbar2 : GButton.toolbar
169 val toolbar3 : GButton.toolbar
170 val toolbar4 : GButton.toolbar
171 val toolbar5 : GButton.toolbar
172 val toolbar6 : GButton.toolbar
173 val toolbar7 : GButton.toolbar
174 val toolbar8 : GButton.toolbar
175 val toplevel : GWindow.window
176 val transitivityButton : GButton.button
177 val whdButton : GButton.button
178 val xml : Glade.glade_xml Gtk.obj
179 method applyButton : GButton.button
180 method assumptionButton : GButton.button
181 method autoButton : GButton.button
182 method bind : name:string -> callback:(unit -> unit) -> unit
183 method check_widgets : unit -> unit
184 method cutButton : GButton.button
185 method elimButton : GButton.button
186 method elimTypeButton : GButton.button
187 method exactButton : GButton.button
188 method existsButton : GButton.button
189 method introsButton : GButton.button
190 method leftButton : GButton.button
191 method reduceButton : GButton.button
192 method reflexivityButton : GButton.button
193 method reparent : GObj.widget -> unit
194 method replaceButton : GButton.button
195 method rightButton : GButton.button
196 method simplifyButton : GButton.button
197 method splitButton : GButton.button
198 method symmetryButton : GButton.button
199 method toolBarEventBox : GBin.event_box
200 method toolBarVBox : GPack.box
201 method toolBarWin : GWindow.window
202 method toolbar2 : GButton.toolbar
203 method toolbar3 : GButton.toolbar
204 method toolbar4 : GButton.toolbar
205 method toolbar5 : GButton.toolbar
206 method toolbar6 : GButton.toolbar
207 method toolbar7 : GButton.toolbar
208 method toolbar8 : GButton.toolbar
209 method toplevel : GWindow.window
210 method transitivityButton : GButton.button
211 method whdButton : GButton.button
212 method xml : Glade.glade_xml Gtk.obj
214 class confirmationDialog :
220 val confirmationDialog : GWindow.dialog_any
221 val confirmationDialogCancelButton : GButton.button
222 val confirmationDialogLabel : GMisc.label
223 val confirmationDialogOkButton : GButton.button
224 val dialog_action_area1 : GPack.button_box
225 val dialog_vbox1 : GPack.box
226 val toplevel : GWindow.dialog_any
227 val xml : Glade.glade_xml Gtk.obj
228 method bind : name:string -> callback:(unit -> unit) -> unit
229 method check_widgets : unit -> unit
230 method confirmationDialog : GWindow.dialog_any
231 method confirmationDialogCancelButton : GButton.button
232 method confirmationDialogLabel : GMisc.label
233 method confirmationDialogOkButton : GButton.button
234 method dialog_action_area1 : GPack.button_box
235 method dialog_vbox1 : GPack.box
236 method reparent : GObj.widget -> unit
237 method toplevel : GWindow.dialog_any
238 method xml : Glade.glade_xml Gtk.obj
246 val aboutDismissButton : GButton.button
247 val aboutLabel : GMisc.label
248 val aboutWin : GWindow.dialog_any
249 val dialog_action_area2 : GPack.button_box
250 val dialog_vbox2 : GPack.box
251 val toplevel : GWindow.dialog_any
252 val xml : Glade.glade_xml Gtk.obj
253 method aboutDismissButton : GButton.button
254 method aboutLabel : GMisc.label
255 method aboutWin : GWindow.dialog_any
256 method bind : name:string -> callback:(unit -> unit) -> unit
257 method check_widgets : unit -> unit
258 method dialog_action_area2 : GPack.button_box
259 method dialog_vbox2 : GPack.box
260 method reparent : GObj.widget -> unit
261 method toplevel : GWindow.dialog_any
262 method xml : Glade.glade_xml Gtk.obj
264 class uriChoiceDialog :
270 val alignment1 : GBin.alignment
271 val alignment2 : GBin.alignment
272 val dialog_action_area3 : GPack.button_box
273 val dialog_vbox3 : GPack.box
274 val entry1 : GEdit.entry
275 val hbox1 : GPack.box
276 val hbox2 : GPack.box
277 val hbox3 : GPack.box
278 val image18 : GMisc.image
279 val image19 : GMisc.image
280 val label1 : GMisc.label
281 val label2 : GMisc.label
282 val label3 : GMisc.label
283 val scrolledwindow1 : GBin.scrolled_window
284 val toplevel : GWindow.dialog_any
285 val uriChoiceAbortButton : GButton.button
286 val uriChoiceAutoButton : GButton.button
287 val uriChoiceConstantsButton : GButton.button
288 val uriChoiceDialog : GWindow.dialog_any
289 val uriChoiceLabel : GMisc.label
290 val uriChoiceSelectedButton : GButton.button
291 val uriChoiceTreeView : GTree.view
292 val vbox2 : GPack.box
293 val xml : Glade.glade_xml Gtk.obj
294 method alignment1 : GBin.alignment
295 method alignment2 : GBin.alignment
296 method bind : name:string -> callback:(unit -> unit) -> unit
297 method check_widgets : unit -> unit
298 method dialog_action_area3 : GPack.button_box
299 method dialog_vbox3 : GPack.box
300 method entry1 : GEdit.entry
301 method hbox1 : GPack.box
302 method hbox2 : GPack.box
303 method hbox3 : GPack.box
304 method image18 : GMisc.image
305 method image19 : GMisc.image
306 method label1 : GMisc.label
307 method label2 : GMisc.label
308 method label3 : GMisc.label
309 method reparent : GObj.widget -> unit
310 method scrolledwindow1 : GBin.scrolled_window
311 method toplevel : GWindow.dialog_any
312 method uriChoiceAbortButton : GButton.button
313 method uriChoiceAutoButton : GButton.button
314 method uriChoiceConstantsButton : GButton.button
315 method uriChoiceDialog : GWindow.dialog_any
316 method uriChoiceLabel : GMisc.label
317 method uriChoiceSelectedButton : GButton.button
318 method uriChoiceTreeView : GTree.view
319 method vbox2 : GPack.box
320 method xml : Glade.glade_xml Gtk.obj
322 class interpChoiceDialog :
328 val dialog_action_area4 : GPack.button_box
329 val dialog_vbox4 : GPack.box
330 val interpChoiceCancelButton : GButton.button
331 val interpChoiceDialog : GWindow.dialog_any
332 val interpChoiceDialogLabel : GMisc.label
333 val interpChoiceHelpButton : GButton.button
334 val interpChoiceOkButton : GButton.button
335 val interpChoiceTreeView : GTree.view
336 val scrolledwindow4 : GBin.scrolled_window
337 val toplevel : GWindow.dialog_any
338 val vbox3 : GPack.box
339 val xml : Glade.glade_xml Gtk.obj
340 method bind : name:string -> callback:(unit -> unit) -> unit
341 method check_widgets : unit -> unit
342 method dialog_action_area4 : GPack.button_box
343 method dialog_vbox4 : GPack.box
344 method interpChoiceCancelButton : GButton.button
345 method interpChoiceDialog : GWindow.dialog_any
346 method interpChoiceDialogLabel : GMisc.label
347 method interpChoiceHelpButton : GButton.button
348 method interpChoiceOkButton : GButton.button
349 method interpChoiceTreeView : GTree.view
350 method reparent : GObj.widget -> unit
351 method scrolledwindow4 : GBin.scrolled_window
352 method toplevel : GWindow.dialog_any
353 method vbox3 : GPack.box
354 method xml : Glade.glade_xml Gtk.obj
362 val dialog_action_area5 : GPack.button_box
363 val emptyDialog : GWindow.dialog_any
364 val emptyDialogCancelButton : GButton.button
365 val emptyDialogLabel : GMisc.label
366 val emptyDialogOkButton : GButton.button
367 val emptyDialogVBox : GPack.box
368 val toplevel : GWindow.dialog_any
369 val xml : Glade.glade_xml Gtk.obj
370 method bind : name:string -> callback:(unit -> unit) -> unit
371 method check_widgets : unit -> unit
372 method dialog_action_area5 : GPack.button_box
373 method emptyDialog : GWindow.dialog_any
374 method emptyDialogCancelButton : GButton.button
375 method emptyDialogLabel : GMisc.label
376 method emptyDialogOkButton : GButton.button
377 method emptyDialogVBox : GPack.box
378 method reparent : GObj.widget -> unit
379 method toplevel : GWindow.dialog_any
380 method xml : Glade.glade_xml Gtk.obj
388 val checkWin : GWindow.window
389 val checkWinEventBox : GBin.event_box
390 val scrolledCheck : GBin.scrolled_window
391 val toplevel : GWindow.window
392 val xml : Glade.glade_xml Gtk.obj
393 method bind : name:string -> callback:(unit -> unit) -> unit
394 method checkWin : GWindow.window
395 method checkWinEventBox : GBin.event_box
396 method check_widgets : unit -> unit
397 method reparent : GObj.widget -> unit
398 method scrolledCheck : GBin.scrolled_window
399 method toplevel : GWindow.window
400 method xml : Glade.glade_xml Gtk.obj
408 val image133 : GMisc.image
409 val image134 : GMisc.image
410 val image135 : GMisc.image
411 val label7 : GMisc.label
412 val label8 : GMisc.label
413 val scriptNotebook : GPack.notebook
414 val scriptTextView : GText.view
415 val scriptWin : GWindow.window
416 val scriptWinBackButton : GButton.button
417 val scriptWinEventBox : GBin.event_box
418 val scriptWinForwardButton : GButton.button
419 val scriptWinJumpButton : GButton.button
420 val scrolledScript : GBin.scrolled_window
421 val scrolledwindow3 : GBin.scrolled_window
422 val toolbar1 : GButton.toolbar
423 val toplevel : GWindow.window
424 val treeview1 : GTree.view
425 val vbox4 : GPack.box
426 val xml : Glade.glade_xml Gtk.obj
427 method bind : name:string -> callback:(unit -> unit) -> unit
428 method check_widgets : unit -> unit
429 method image133 : GMisc.image
430 method image134 : GMisc.image
431 method image135 : GMisc.image
432 method label7 : GMisc.label
433 method label8 : GMisc.label
434 method reparent : GObj.widget -> unit
435 method scriptNotebook : GPack.notebook
436 method scriptTextView : GText.view
437 method scriptWin : GWindow.window
438 method scriptWinBackButton : GButton.button
439 method scriptWinEventBox : GBin.event_box
440 method scriptWinForwardButton : GButton.button
441 method scriptWinJumpButton : GButton.button
442 method scrolledScript : GBin.scrolled_window
443 method scrolledwindow3 : GBin.scrolled_window
444 method toolbar1 : GButton.toolbar
445 method toplevel : GWindow.window
446 method treeview1 : GTree.view
447 method vbox4 : GPack.box
448 method xml : Glade.glade_xml Gtk.obj
456 val hbuttonbox1 : GPack.button_box
457 val scrolledwindow2 : GBin.scrolled_window
458 val textDialog : GWindow.dialog_any
459 val textDialogCancelButton : GButton.button
460 val textDialogLabel : GMisc.label
461 val textDialogOkButton : GButton.button
462 val textDialogTextView : GText.view
463 val toplevel : GWindow.dialog_any
464 val vbox5 : GPack.box
465 val xml : Glade.glade_xml Gtk.obj
466 method bind : name:string -> callback:(unit -> unit) -> unit
467 method check_widgets : unit -> unit
468 method hbuttonbox1 : GPack.button_box
469 method reparent : GObj.widget -> unit
470 method scrolledwindow2 : GBin.scrolled_window
471 method textDialog : GWindow.dialog_any
472 method textDialogCancelButton : GButton.button
473 method textDialogLabel : GMisc.label
474 method textDialogOkButton : GButton.button
475 method textDialogTextView : GText.view
476 method toplevel : GWindow.dialog_any
477 method vbox5 : GPack.box
478 method xml : Glade.glade_xml Gtk.obj
480 val check_all : ?show:bool -> unit -> unit