7 val aboutDismissButton : GButton.button
8 val aboutLabel : GMisc.label
9 val aboutWin : GWindow.dialog_any
10 val dialog_action_area2 : GPack.button_box
11 val dialog_vbox2 : GPack.box
12 val toplevel : GWindow.dialog_any
13 val xml : Glade.glade_xml Gtk.obj
14 method aboutDismissButton : GButton.button
15 method aboutLabel : GMisc.label
16 method aboutWin : GWindow.dialog_any
17 method bind : name:string -> callback:(unit -> unit) -> unit
18 method check_widgets : unit -> unit
19 method dialog_action_area2 : GPack.button_box
20 method dialog_vbox2 : GPack.box
21 method reparent : GObj.widget -> unit
22 method toplevel : GWindow.dialog_any
23 method xml : Glade.glade_xml Gtk.obj
31 val alignment3 : GBin.alignment
32 val browserBackButton : GButton.button
33 val browserForwardButton : GButton.button
34 val browserHomeButton : GButton.button
35 val browserNewButton : GButton.button
36 val browserRefreshButton : GButton.button
37 val browserUri : GEdit.entry
38 val browserVBox : GPack.box
39 val browserWin : GWindow.window
40 val browserWinEventBox : GBin.event_box
41 val frame1 : GBin.frame
42 val handlebox1 : GBin.handle_box
45 val image187 : GMisc.image
46 val image188 : GMisc.image
47 val image189 : GMisc.image
48 val image190 : GMisc.image
49 val image191 : GMisc.image
50 val image229 : GMisc.image
51 val label10 : GMisc.label
52 val scrolledBrowser : GBin.scrolled_window
53 val toplevel : GWindow.window
54 val xml : Glade.glade_xml Gtk.obj
55 method alignment3 : GBin.alignment
56 method bind : name:string -> callback:(unit -> unit) -> unit
57 method browserBackButton : GButton.button
58 method browserForwardButton : GButton.button
59 method browserHomeButton : GButton.button
60 method browserNewButton : GButton.button
61 method browserRefreshButton : GButton.button
62 method browserUri : GEdit.entry
63 method browserVBox : GPack.box
64 method browserWin : GWindow.window
65 method browserWinEventBox : GBin.event_box
66 method check_widgets : unit -> unit
67 method frame1 : GBin.frame
68 method handlebox1 : GBin.handle_box
69 method hbox6 : GPack.box
70 method hbox7 : GPack.box
71 method image187 : GMisc.image
72 method image188 : GMisc.image
73 method image189 : GMisc.image
74 method image190 : GMisc.image
75 method image191 : GMisc.image
76 method image229 : GMisc.image
77 method label10 : GMisc.label
78 method reparent : GObj.widget -> unit
79 method scrolledBrowser : GBin.scrolled_window
80 method toplevel : GWindow.window
81 method xml : Glade.glade_xml Gtk.obj
83 class confirmationDialog :
89 val confirmationDialog : GWindow.dialog_any
90 val confirmationDialogCancelButton : GButton.button
91 val confirmationDialogLabel : GMisc.label
92 val confirmationDialogOkButton : GButton.button
93 val dialog_action_area1 : GPack.button_box
94 val dialog_vbox1 : GPack.box
95 val toplevel : GWindow.dialog_any
96 val xml : Glade.glade_xml Gtk.obj
97 method bind : name:string -> callback:(unit -> unit) -> unit
98 method check_widgets : unit -> unit
99 method confirmationDialog : GWindow.dialog_any
100 method confirmationDialogCancelButton : GButton.button
101 method confirmationDialogLabel : GMisc.label
102 method confirmationDialogOkButton : GButton.button
103 method dialog_action_area1 : GPack.button_box
104 method dialog_vbox1 : GPack.box
105 method reparent : GObj.widget -> unit
106 method toplevel : GWindow.dialog_any
107 method xml : Glade.glade_xml Gtk.obj
115 val dialog_action_area5 : GPack.button_box
116 val emptyDialog : GWindow.dialog_any
117 val emptyDialogCancelButton : GButton.button
118 val emptyDialogLabel : GMisc.label
119 val emptyDialogOkButton : GButton.button
120 val emptyDialogVBox : GPack.box
121 val toplevel : GWindow.dialog_any
122 val xml : Glade.glade_xml Gtk.obj
123 method bind : name:string -> callback:(unit -> unit) -> unit
124 method check_widgets : unit -> unit
125 method dialog_action_area5 : GPack.button_box
126 method emptyDialog : GWindow.dialog_any
127 method emptyDialogCancelButton : GButton.button
128 method emptyDialogLabel : GMisc.label
129 method emptyDialogOkButton : GButton.button
130 method emptyDialogVBox : GPack.box
131 method reparent : GObj.widget -> unit
132 method toplevel : GWindow.dialog_any
133 method xml : Glade.glade_xml Gtk.obj
135 class fileSelectionWin :
141 val fileSelCancelButton : GButton.button
142 val fileSelOkButton : GButton.button
143 val fileSelectionWin : GWindow.file_selection
144 val toplevel : GWindow.file_selection
145 val xml : Glade.glade_xml Gtk.obj
146 method bind : name:string -> callback:(unit -> unit) -> unit
147 method check_widgets : unit -> unit
148 method fileSelCancelButton : GButton.button
149 method fileSelOkButton : GButton.button
150 method fileSelectionWin : GWindow.file_selection
151 method toplevel : GWindow.file_selection
152 method xml : Glade.glade_xml Gtk.obj
154 class interpChoiceDialog :
160 val dialog_action_area4 : GPack.button_box
161 val dialog_vbox4 : GPack.box
162 val interpChoiceCancelButton : GButton.button
163 val interpChoiceDialog : GWindow.dialog_any
164 val interpChoiceDialogLabel : GMisc.label
165 val interpChoiceHelpButton : GButton.button
166 val interpChoiceOkButton : GButton.button
167 val interpChoiceTreeView : GTree.view
168 val scrolledwindow4 : GBin.scrolled_window
169 val toplevel : GWindow.dialog_any
170 val vbox3 : GPack.box
171 val xml : Glade.glade_xml Gtk.obj
172 method bind : name:string -> callback:(unit -> unit) -> unit
173 method check_widgets : unit -> unit
174 method dialog_action_area4 : GPack.button_box
175 method dialog_vbox4 : GPack.box
176 method interpChoiceCancelButton : GButton.button
177 method interpChoiceDialog : GWindow.dialog_any
178 method interpChoiceDialogLabel : GMisc.label
179 method interpChoiceHelpButton : GButton.button
180 method interpChoiceOkButton : GButton.button
181 method interpChoiceTreeView : GTree.view
182 method reparent : GObj.widget -> unit
183 method scrolledwindow4 : GBin.scrolled_window
184 method toplevel : GWindow.dialog_any
185 method vbox3 : GPack.box
186 method xml : Glade.glade_xml Gtk.obj
194 val aboutMenuItem : GMenu.menu_item
195 val consoleEventBox : GBin.event_box
196 val consoleHBox : GPack.box
197 val debugMenu : GMenu.menu_item
198 val debugMenu_menu : GMenu.menu
199 val editMenu : GMenu.menu_item
200 val fileMenu : GMenu.menu_item
201 val fileMenu_menu : GMenu.menu
202 val helpMenu : GMenu.menu_item
203 val helpMenu_menu : GMenu.menu
204 val hideConsoleButton : GButton.button
205 val image169 : GMisc.image
206 val image224 : GMisc.image
207 val image225 : GMisc.image
208 val image226 : GMisc.image
209 val image227 : GMisc.image
210 val image228 : GMisc.image
211 val mainMenuBar : GMenu.menu_shell
212 val mainStatusBar : GMisc.statusbar
213 val mainVPanes : GPack.paned
214 val mainWin : GWindow.window
215 val mainWinEventBox : GBin.event_box
216 val mainWinShape : GPack.box
217 val newCicBrowserMenuItem : GMenu.menu_item
218 val newDefsMenuItem : GMenu.menu_item
219 val newMenu : GMenu.image_menu_item
220 val newMenu_menu : GMenu.menu
221 val newProofMenuItem : GMenu.menu_item
222 val openMenuItem : GMenu.image_menu_item
223 val quitMenuItem : GMenu.image_menu_item
224 val saveAsMenuItem : GMenu.image_menu_item
225 val saveMenuItem : GMenu.image_menu_item
226 val scrolledConsole : GBin.scrolled_window
227 val separator1 : GMenu.menu_item
228 val separator2 : GMenu.menu_item
229 val separator3 : GMenu.menu_item
230 val sequentsNotebook : GPack.notebook
231 val showConsoleMenuItem : GMenu.menu_item
232 val showScriptMenuItem : GMenu.check_menu_item
233 val showToolBarMenuItem : GMenu.check_menu_item
234 val toplevel : GWindow.window
235 val vbox6 : GPack.box
236 val viewMenu : GMenu.menu_item
237 val viewMenu_menu : GMenu.menu
238 val xml : Glade.glade_xml Gtk.obj
239 method aboutMenuItem : GMenu.menu_item
240 method bind : name:string -> callback:(unit -> unit) -> unit
241 method check_widgets : unit -> unit
242 method consoleEventBox : GBin.event_box
243 method consoleHBox : GPack.box
244 method debugMenu : GMenu.menu_item
245 method debugMenu_menu : GMenu.menu
246 method editMenu : GMenu.menu_item
247 method fileMenu : GMenu.menu_item
248 method fileMenu_menu : GMenu.menu
249 method helpMenu : GMenu.menu_item
250 method helpMenu_menu : GMenu.menu
251 method hideConsoleButton : GButton.button
252 method image169 : GMisc.image
253 method image224 : GMisc.image
254 method image225 : GMisc.image
255 method image226 : GMisc.image
256 method image227 : GMisc.image
257 method image228 : GMisc.image
258 method mainMenuBar : GMenu.menu_shell
259 method mainStatusBar : GMisc.statusbar
260 method mainVPanes : GPack.paned
261 method mainWin : GWindow.window
262 method mainWinEventBox : GBin.event_box
263 method mainWinShape : GPack.box
264 method newCicBrowserMenuItem : GMenu.menu_item
265 method newDefsMenuItem : GMenu.menu_item
266 method newMenu : GMenu.image_menu_item
267 method newMenu_menu : GMenu.menu
268 method newProofMenuItem : GMenu.menu_item
269 method openMenuItem : GMenu.image_menu_item
270 method quitMenuItem : GMenu.image_menu_item
271 method reparent : GObj.widget -> unit
272 method saveAsMenuItem : GMenu.image_menu_item
273 method saveMenuItem : GMenu.image_menu_item
274 method scrolledConsole : GBin.scrolled_window
275 method separator1 : GMenu.menu_item
276 method separator2 : GMenu.menu_item
277 method separator3 : GMenu.menu_item
278 method sequentsNotebook : GPack.notebook
279 method showConsoleMenuItem : GMenu.menu_item
280 method showScriptMenuItem : GMenu.check_menu_item
281 method showToolBarMenuItem : GMenu.check_menu_item
282 method toplevel : GWindow.window
283 method vbox6 : GPack.box
284 method viewMenu : GMenu.menu_item
285 method viewMenu_menu : GMenu.menu
286 method xml : Glade.glade_xml Gtk.obj
294 val handlebox2 : GBin.handle_box
295 val hbox8 : GPack.box
296 val image134 : GMisc.image
297 val image235 : GMisc.image
298 val image237 : GMisc.image
299 val image238 : GMisc.image
300 val image239 : GMisc.image
301 val label7 : GMisc.label
302 val label8 : GMisc.label
303 val outlineTreeView : GTree.view
304 val scriptNotebook : GPack.notebook
305 val scriptTextView : GText.view
306 val scriptWin : GWindow.window
307 val scriptWinBackButton : GButton.button
308 val scriptWinBottomButton : GButton.button
309 val scriptWinEventBox : GBin.event_box
310 val scriptWinForwardButton : GButton.button
311 val scriptWinJumpButton : GButton.button
312 val scriptWinTopButton : GButton.button
313 val scrolledOutline : GBin.scrolled_window
314 val scrolledScript : GBin.scrolled_window
315 val toplevel : GWindow.window
316 val vbox7 : GPack.box
317 val xml : Glade.glade_xml Gtk.obj
318 method bind : name:string -> callback:(unit -> unit) -> unit
319 method check_widgets : unit -> unit
320 method handlebox2 : GBin.handle_box
321 method hbox8 : GPack.box
322 method image134 : GMisc.image
323 method image235 : GMisc.image
324 method image237 : GMisc.image
325 method image238 : GMisc.image
326 method image239 : GMisc.image
327 method label7 : GMisc.label
328 method label8 : GMisc.label
329 method outlineTreeView : GTree.view
330 method reparent : GObj.widget -> unit
331 method scriptNotebook : GPack.notebook
332 method scriptTextView : GText.view
333 method scriptWin : GWindow.window
334 method scriptWinBackButton : GButton.button
335 method scriptWinBottomButton : GButton.button
336 method scriptWinEventBox : GBin.event_box
337 method scriptWinForwardButton : GButton.button
338 method scriptWinJumpButton : GButton.button
339 method scriptWinTopButton : GButton.button
340 method scrolledOutline : GBin.scrolled_window
341 method scrolledScript : GBin.scrolled_window
342 method toplevel : GWindow.window
343 method vbox7 : GPack.box
344 method xml : Glade.glade_xml Gtk.obj
352 val hbuttonbox1 : GPack.button_box
353 val scrolledwindow2 : GBin.scrolled_window
354 val textDialog : GWindow.dialog_any
355 val textDialogCancelButton : GButton.button
356 val textDialogLabel : GMisc.label
357 val textDialogOkButton : GButton.button
358 val textDialogTextView : GText.view
359 val toplevel : GWindow.dialog_any
360 val vbox5 : GPack.box
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 hbuttonbox1 : GPack.button_box
365 method reparent : GObj.widget -> unit
366 method scrolledwindow2 : GBin.scrolled_window
367 method textDialog : GWindow.dialog_any
368 method textDialogCancelButton : GButton.button
369 method textDialogLabel : GMisc.label
370 method textDialogOkButton : GButton.button
371 method textDialogTextView : GText.view
372 method toplevel : GWindow.dialog_any
373 method vbox5 : GPack.box
374 method xml : Glade.glade_xml Gtk.obj
382 val applyButton : GButton.button
383 val assumptionButton : GButton.button
384 val autoButton : GButton.button
385 val cutButton : GButton.button
386 val elimButton : GButton.button
387 val elimTypeButton : GButton.button
388 val exactButton : GButton.button
389 val existsButton : GButton.button
390 val introsButton : GButton.button
391 val leftButton : GButton.button
392 val reduceButton : GButton.button
393 val reflexivityButton : GButton.button
394 val replaceButton : GButton.button
395 val rightButton : GButton.button
396 val simplifyButton : GButton.button
397 val splitButton : GButton.button
398 val symmetryButton : GButton.button
399 val toolBarEventBox : GBin.event_box
400 val toolBarVBox : GPack.box
401 val toolBarWin : GWindow.window
402 val toolbar2 : GButton.toolbar
403 val toolbar3 : GButton.toolbar
404 val toolbar4 : GButton.toolbar
405 val toolbar5 : GButton.toolbar
406 val toolbar6 : GButton.toolbar
407 val toolbar7 : GButton.toolbar
408 val toolbar8 : GButton.toolbar
409 val toplevel : GWindow.window
410 val transitivityButton : GButton.button
411 val whdButton : GButton.button
412 val xml : Glade.glade_xml Gtk.obj
413 method applyButton : GButton.button
414 method assumptionButton : GButton.button
415 method autoButton : GButton.button
416 method bind : name:string -> callback:(unit -> unit) -> unit
417 method check_widgets : unit -> unit
418 method cutButton : GButton.button
419 method elimButton : GButton.button
420 method elimTypeButton : GButton.button
421 method exactButton : GButton.button
422 method existsButton : GButton.button
423 method introsButton : GButton.button
424 method leftButton : GButton.button
425 method reduceButton : GButton.button
426 method reflexivityButton : GButton.button
427 method reparent : GObj.widget -> unit
428 method replaceButton : GButton.button
429 method rightButton : GButton.button
430 method simplifyButton : GButton.button
431 method splitButton : GButton.button
432 method symmetryButton : GButton.button
433 method toolBarEventBox : GBin.event_box
434 method toolBarVBox : GPack.box
435 method toolBarWin : GWindow.window
436 method toolbar2 : GButton.toolbar
437 method toolbar3 : GButton.toolbar
438 method toolbar4 : GButton.toolbar
439 method toolbar5 : GButton.toolbar
440 method toolbar6 : GButton.toolbar
441 method toolbar7 : GButton.toolbar
442 method toolbar8 : GButton.toolbar
443 method toplevel : GWindow.window
444 method transitivityButton : GButton.button
445 method whdButton : GButton.button
446 method xml : Glade.glade_xml Gtk.obj
448 class uriChoiceDialog :
454 val alignment1 : GBin.alignment
455 val alignment2 : GBin.alignment
456 val dialog_action_area3 : GPack.button_box
457 val dialog_vbox3 : GPack.box
458 val entry1 : GEdit.entry
459 val hbox1 : GPack.box
460 val hbox2 : GPack.box
461 val hbox3 : GPack.box
462 val image18 : GMisc.image
463 val image19 : GMisc.image
464 val label1 : GMisc.label
465 val label2 : GMisc.label
466 val label3 : GMisc.label
467 val scrolledwindow1 : GBin.scrolled_window
468 val toplevel : GWindow.dialog_any
469 val uriChoiceAbortButton : GButton.button
470 val uriChoiceAutoButton : GButton.button
471 val uriChoiceConstantsButton : GButton.button
472 val uriChoiceDialog : GWindow.dialog_any
473 val uriChoiceLabel : GMisc.label
474 val uriChoiceSelectedButton : GButton.button
475 val uriChoiceTreeView : GTree.view
476 val vbox2 : GPack.box
477 val xml : Glade.glade_xml Gtk.obj
478 method alignment1 : GBin.alignment
479 method alignment2 : GBin.alignment
480 method bind : name:string -> callback:(unit -> unit) -> unit
481 method check_widgets : unit -> unit
482 method dialog_action_area3 : GPack.button_box
483 method dialog_vbox3 : GPack.box
484 method entry1 : GEdit.entry
485 method hbox1 : GPack.box
486 method hbox2 : GPack.box
487 method hbox3 : GPack.box
488 method image18 : GMisc.image
489 method image19 : GMisc.image
490 method label1 : GMisc.label
491 method label2 : GMisc.label
492 method label3 : GMisc.label
493 method reparent : GObj.widget -> unit
494 method scrolledwindow1 : GBin.scrolled_window
495 method toplevel : GWindow.dialog_any
496 method uriChoiceAbortButton : GButton.button
497 method uriChoiceAutoButton : GButton.button
498 method uriChoiceConstantsButton : GButton.button
499 method uriChoiceDialog : GWindow.dialog_any
500 method uriChoiceLabel : GMisc.label
501 method uriChoiceSelectedButton : GButton.button
502 method uriChoiceTreeView : GTree.view
503 method vbox2 : GPack.box
504 method xml : Glade.glade_xml Gtk.obj
506 val check_all : ?show:bool -> unit -> unit