(* Automatically generated from matita.ui by lablgladecc *) let data = "\n\n\n \n \n 600\n 400\n True\n False\n Auto\n dialog\n south-east\n \n \n True\n False\n vertical\n \n \n True\n False\n 2\n \n \n True\n True\n in\n \n \n True\n False\n \n \n True\n False\n \n \n \n \n \n \n True\n True\n 0\n \n \n \n \n True\n False\n vertical\n \n \n True\n True\n False\n \n \n True\n False\n 0\n 0\n \n \n True\n False\n 2\n \n \n True\n False\n gtk-go-up\n \n \n False\n False\n 0\n \n \n \n \n True\n False\n True\n \n \n False\n False\n 1\n \n \n \n \n \n \n \n \n True\n True\n 0\n \n \n \n \n True\n True\n False\n \n \n True\n False\n gtk-go-down\n \n \n \n \n True\n True\n 1\n \n \n \n \n False\n False\n 1\n \n \n \n \n True\n True\n 0\n \n \n \n \n True\n False\n \n \n False\n True\n 3\n 1\n \n \n \n \n True\n False\n \n \n True\n False\n Last:\n 0\n \n \n True\n True\n 0\n \n \n \n \n True\n False\n 4\n 4\n end\n \n \n gtk-media-pause\n True\n True\n True\n False\n True\n \n \n False\n False\n 0\n \n \n \n \n gtk-media-play\n True\n True\n True\n False\n True\n \n \n False\n False\n 1\n \n \n \n \n gtk-media-next\n True\n True\n True\n False\n True\n \n \n False\n False\n 2\n \n \n \n \n gtk-close\n True\n True\n True\n False\n True\n \n \n False\n False\n 3\n \n \n \n \n True\n True\n 1\n \n \n \n \n False\n True\n 2\n \n \n \n \n \n \n 500\n 480\n True\n False\n Cic browser\n center-on-parent\n 500\n 480\n True\n \n \n True\n False\n \n \n True\n False\n vertical\n \n \n True\n False\n \n \n True\n False\n _File\n True\n \n \n False\n \n \n True\n False\n _New\n True\n \n \n \n \n True\n False\n Open _Location ...\n True\n \n \n \n \n \n True\n False\n \n \n \n \n True\n False\n _Quit\n True\n \n \n \n \n \n \n \n \n True\n False\n _Edit\n True\n \n \n False\n \n \n True\n False\n _Copy\n True\n \n \n \n \n \n \n \n \n False\n False\n 0\n \n \n \n \n True\n False\n 0\n 0\n none\n \n \n True\n False\n \n \n True\n True\n False\n none\n \n \n True\n False\n gtk-new\n \n \n \n \n False\n False\n 0\n \n \n \n \n True\n True\n False\n none\n \n \n True\n False\n gtk-go-back\n \n \n \n \n False\n False\n 1\n \n \n \n \n True\n True\n False\n none\n \n \n True\n False\n gtk-go-forward\n \n \n \n \n False\n False\n 2\n \n \n \n \n True\n True\n True\n False\n refresh\n none\n \n \n True\n False\n gtk-refresh\n \n \n \n \n False\n False\n 3\n \n \n \n \n True\n True\n True\n False\n home\n none\n \n \n True\n False\n gtk-home\n \n \n \n \n False\n False\n 4\n \n \n \n \n True\n False\n gtk-jump-to\n 2\n \n \n False\n False\n 3\n 5\n \n \n \n \n True\n False\n \n \n True\n True\n True\n \226\151\143\n \n \n True\n True\n 0\n \n \n \n \n True\n True\n 6\n \n \n \n \n \n \n False\n True\n 1\n \n \n \n \n True\n True\n \n \n True\n True\n \n \n \n \n True\n False\n MathView\n \n \n False\n \n \n \n \n True\n True\n in\n \n \n True\n True\n False\n \n \n \n \n \n \n \n 1\n \n \n \n \n True\n False\n WhelpResult\n \n \n 1\n False\n \n \n \n \n True\n True\n \n \n True\n False\n none\n \n \n True\n False\n gtk-missing-image\n \n \n \n \n \n \n 2\n \n \n \n \n True\n False\n WhelpEasterEgg\n \n \n 2\n False\n \n \n \n \n True\n True\n \n \n 3\n \n \n \n \n True\n False\n Graph\n \n \n 3\n False\n \n \n \n \n True\n False\n vertical\n \n \n True\n True\n 3\n in\n \n \n True\n True\n 0\n \n \n \n \n True\n False\n 4\n 4\n \n \n True\n False\n vertical\n \n \n True\n True\n 0\n \n \n \n \n True\n True\n True\n \n \n True\n True\n 1\n \n \n \n \n True\n True\n False\n \n \n True\n False\n 0\n 0\n \n \n True\n False\n 2\n \n \n True\n False\n gtk-find\n \n \n False\n False\n 0\n \n \n \n \n True\n False\n Search\n True\n \n \n False\n False\n 1\n \n \n \n \n \n \n \n \n False\n False\n 2\n \n \n \n \n False\n True\n 1\n \n \n \n \n 4\n \n \n \n \n True\n False\n SearchText\n \n \n 4\n False\n \n \n \n \n True\n True\n 3\n \n \n \n \n \n \n \n \n 450\n 400\n False\n title\n True\n dialog\n \n \n True\n False\n vertical\n \n \n True\n False\n spread\n \n \n False\n False\n end\n 0\n \n \n \n \n True\n False\n vertical\n \n \n True\n False\n some informative message here ...\n \n \n False\n False\n 0\n \n \n \n \n True\n True\n True\n in\n \n \n 717\n True\n True\n False\n \n \n \n \n \n \n \n True\n True\n 1\n \n \n \n \n False\n True\n 2\n \n \n \n \n \n \n False\n 5\n Find & Replace\n False\n mouse\n dialog\n \n \n True\n False\n 9\n \n \n True\n False\n Find:\n 0\n \n \n 0\n 0\n \n \n \n \n True\n False\n Replace with: \n 0\n \n \n 0\n 1\n \n \n \n \n True\n True\n True\n True\n \n \n 1\n 0\n \n \n \n \n True\n True\n \n \n 1\n 1\n \n \n \n \n True\n False\n 5\n True\n \n \n gtk-find\n True\n True\n False\n True\n \n \n False\n False\n 1\n \n \n \n \n True\n True\n False\n \n \n True\n False\n 0\n 0\n \n \n True\n False\n 2\n \n \n True\n False\n gtk-find-and-replace\n \n \n False\n False\n 0\n \n \n \n \n True\n False\n _Replace\n True\n \n \n False\n False\n 1\n \n \n \n \n \n \n \n \n False\n False\n 2\n \n \n \n \n gtk-cancel\n True\n True\n False\n True\n \n \n False\n False\n 3\n \n \n \n \n 0\n 2\n 2\n \n \n \n \n \n \n False\n Matita\n \n \n True\n False\n \n \n True\n False\n vertical\n \n \n True\n False\n \n \n True\n False\n _File\n True\n \n \n False\n \n \n True\n False\n _New\n True\n \n \n \n \n \n True\n False\n _Open...\n True\n \n \n \n \n \n True\n False\n _Save\n True\n \n \n \n \n \n True\n False\n _Save as...\n True\n \n \n \n \n \n True\n False\n \n \n \n \n True\n False\n _Close\n True\n \n \n \n \n \n True\n False\n _Quit\n True\n \n \n \n \n \n \n \n \n \n True\n False\n _Edit\n True\n \n \n False\n \n \n True\n False\n False\n _Undo\n True\n \n \n \n \n \n True\n False\n False\n _Redo\n True\n \n \n \n \n \n True\n False\n \n \n \n \n True\n False\n Cut\n True\n \n \n \n \n \n True\n False\n Copy\n True\n \n \n \n \n \n True\n False\n Paste\n True\n \n \n \n \n \n True\n False\n Paste as pattern\n True\n \n \n \n \n True\n False\n Paste Unicode as TeX\n True\n \n \n \n \n True\n False\n Auto-expand TeX Macros\n True\n True\n \n \n \n \n True\n False\n Delete\n True\n \n \n \n \n True\n False\n \n \n \n \n True\n False\n Select _All\n True\n \n \n \n \n True\n False\n \n \n \n \n True\n False\n Find and replace...\n True\n \n \n \n \n \n True\n False\n \n \n \n \n True\n False\n Next ligature\n True\n \n \n \n \n \n True\n False\n Edit with e_xternal editor\n True\n \n \n \n \n \n \n \n \n True\n False\n _Script\n True\n \n \n False\n \n \n True\n False\n Execute 1 phrase\n True\n \n \n \n \n \n True\n False\n Retract 1 phrase\n True\n \n \n \n \n \n True\n False\n \n \n \n \n True\n False\n Execute all\n True\n \n \n \n \n \n True\n False\n Retract all\n True\n \n \n \n \n \n True\n False\n \n \n \n \n True\n False\n Execute until cursor\n True\n \n \n \n \n \n \n \n \n \n True\n False\n _View\n True\n \n \n False\n \n \n True\n False\n New CIC _browser\n True\n \n \n \n \n \n True\n False\n \n \n \n \n True\n False\n _Fullscreen\n True\n \n \n \n \n \n True\n False\n Natural deduction palette\n True\n \n \n \n \n \n True\n False\n \n \n \n \n True\n False\n Zoom in\n True\n \n \n \n \n \n True\n False\n Zoom out\n True\n \n \n \n \n \n True\n False\n Normal size\n True\n \n \n \n \n \n True\n False\n \n \n \n \n True\n False\n Pretty print notation\n True\n True\n \n \n \n \n True\n False\n Hide coercions\n True\n True\n \n \n \n \n True\n False\n \n \n \n \n True\n False\n Coercions Graph\n True\n \n \n \n \n True\n False\n Hints database\n True\n \n \n \n \n True\n False\n Terms grammar\n True\n \n \n \n \n True\n False\n TeX/UTF-8 table\n True\n \n \n \n \n \n \n \n \n True\n False\n _Debug\n True\n \n \n False\n \n \n True\n False\n \n \n \n \n \n \n \n \n True\n False\n _Help\n True\n \n \n False\n \n \n True\n False\n Contents\n True\n \n \n \n \n \n True\n False\n About\n True\n \n \n \n \n \n \n \n \n False\n False\n 0\n \n \n \n \n True\n False\n \n \n True\n True\n \n \n True\n False\n 2\n \n \n True\n False\n \n \n True\n False\n vertical\n \n \n True\n True\n \n \n True\n False\n vertical\n \n \n True\n True\n True\n \n \n True\n False\n Implication (\226\135\146<sub>i</sub>)\n True\n \n \n \n \n True\n True\n 0\n \n \n \n \n True\n True\n True\n \n \n True\n False\n Conjunction (\226\136\167<sub>i</sub>)\n True\n \n \n \n \n True\n True\n 1\n \n \n \n \n True\n True\n True\n \n \n True\n False\n Disjunction left (\226\136\168<sub>i-l</sub>)\n True\n \n \n \n \n True\n True\n 2\n \n \n \n \n True\n True\n True\n \n \n True\n False\n Disjunction right (\226\136\168<sub>i-r</sub>)\n True\n \n \n \n \n True\n True\n 3\n \n \n \n \n True\n True\n True\n \n \n True\n False\n Negation (\194\172<sub>i</sub>)\n True\n \n \n \n \n True\n True\n 4\n \n \n \n \n True\n True\n True\n \n \n True\n False\n Top (\226\138\164<sub>i</sub>)\n True\n \n \n \n \n True\n True\n 5\n \n \n \n \n True\n True\n True\n \n \n True\n False\n Universal (\226\136\128<sub>i</sub>)\n True\n \n \n \n \n True\n True\n 6\n \n \n \n \n True\n True\n True\n \n \n True\n False\n Existential (\226\136\131<sub>i</sub>)\n True\n \n \n \n \n True\n True\n 7\n \n \n \n \n \n \n True\n False\n Introduction rules\n \n \n \n \n False\n True\n 0\n \n \n \n \n True\n True\n \n \n True\n False\n vertical\n \n \n True\n True\n True\n \n \n True\n False\n Implication (\226\135\146<sub>e</sub>)\n True\n \n \n \n \n True\n True\n 0\n \n \n \n \n True\n True\n True\n \n \n True\n False\n Conjunction left (\226\136\167<sub>e-l</sub>)\n True\n \n \n \n \n True\n True\n 1\n \n \n \n \n True\n True\n True\n \n \n True\n False\n Conjunction right (\226\136\167<sub>e-r</sub>)\n True\n \n \n \n \n True\n True\n 2\n \n \n \n \n True\n True\n True\n \n \n True\n False\n Disjunction (\226\136\168<sub>e</sub>)\n True\n \n \n \n \n True\n True\n 3\n \n \n \n \n True\n True\n True\n \n \n True\n False\n Negation (\194\172<sub>e</sub>)\n True\n \n \n \n \n True\n True\n 4\n \n \n \n \n True\n True\n True\n \n \n True\n False\n Bottom (\226\138\165<sub>e</sub>)\n True\n \n \n \n \n True\n True\n 5\n \n \n \n \n True\n True\n True\n \n \n True\n False\n Universal (\226\136\128<sub>e</sub>)\n True\n \n \n \n \n True\n True\n 6\n \n \n \n \n True\n True\n True\n \n \n True\n False\n Existential (\226\136\131<sub>e</sub>)\n True\n \n \n \n \n True\n True\n 7\n \n \n \n \n \n \n True\n False\n Elimination rules\n \n \n \n \n False\n True\n 1\n \n \n \n \n True\n True\n \n \n True\n False\n vertical\n \n \n Reduction to Absurdity (RAA)\n True\n True\n True\n \n \n True\n True\n 0\n \n \n \n \n Use lemma (lem)\n True\n True\n True\n \n \n True\n True\n 1\n \n \n \n \n Discharge (discharge)\n True\n True\n True\n \n \n True\n True\n 2\n \n \n \n \n \n \n True\n False\n Misc rules\n \n \n \n \n False\n True\n 2\n \n \n \n \n False\n True\n 0\n \n \n \n \n False\n True\n 0\n \n \n \n \n 400\n True\n False\n vertical\n \n \n True\n False\n \n \n True\n False\n both\n \n \n True\n False\n \n \n True\n True\n False\n Retract all\n none\n \n \n True\n False\n gtk-goto-top\n \n \n \n \n \n \n False\n False\n \n \n \n \n True\n False\n \n \n True\n True\n False\n Retract 1 phrase\n none\n \n \n True\n False\n gtk-go-up\n \n \n \n \n \n \n False\n False\n \n \n \n \n True\n False\n \n \n True\n True\n False\n Execute until cursor\n none\n \n \n True\n False\n gtk-jump-to\n \n \n \n \n \n \n False\n False\n \n \n \n \n True\n False\n \n \n True\n True\n False\n Execute 1 phrase\n none\n \n \n True\n False\n gtk-go-down\n \n \n \n \n \n \n False\n False\n \n \n \n \n True\n False\n \n \n True\n True\n False\n Execute all\n none\n \n \n True\n False\n gtk-goto-bottom\n \n \n \n \n \n \n False\n False\n \n \n \n \n True\n True\n 0\n \n \n \n \n True\n False\n vertical\n both\n \n \n True\n False\n \n \n True\n True\n False\n none\n \n \n True\n False\n gtk-stop\n \n \n \n \n \n \n False\n False\n \n \n \n \n False\n True\n 1\n \n \n \n \n False\n False\n 0\n \n \n \n \n True\n True\n True\n \n \n True\n True\n 1\n \n \n \n \n True\n True\n 1\n \n \n \n \n False\n True\n \n \n \n \n 250\n 500\n True\n True\n vertical\n 380\n \n \n True\n True\n True\n \n \n False\n True\n \n \n \n \n True\n False\n \n \n True\n True\n never\n in\n \n \n True\n True\n False\n char\n False\n \n \n \n \n True\n True\n 0\n \n \n \n \n True\n True\n \n \n \n \n True\n True\n \n \n \n \n True\n True\n 0\n \n \n \n \n True\n True\n 1\n \n \n \n \n True\n False\n \n \n True\n False\n \n \n True\n True\n 0\n \n \n \n \n True\n False\n False\n \n \n True\n False\n gtk-missing-image\n \n \n \n \n True\n False\n label14\n \n \n False\n \n \n \n \n True\n False\n gtk-missing-image\n \n \n 1\n \n \n \n \n True\n False\n label15\n \n \n 1\n False\n \n \n \n \n True\n False\n gtk-missing-image\n \n \n 2\n \n \n \n \n True\n False\n label16\n \n \n 2\n False\n \n \n \n \n False\n True\n 1\n \n \n \n \n False\n False\n 2\n \n \n \n \n \n \n \n \n 280\n False\n Uri choice\n True\n center\n dialog\n \n \n True\n False\n vertical\n 4\n \n \n True\n False\n end\n \n \n gtk-cancel\n True\n True\n True\n False\n True\n \n \n False\n False\n 0\n \n \n \n \n True\n True\n True\n False\n \n \n True\n False\n 0\n 0\n \n \n True\n False\n 2\n \n \n True\n False\n gtk-index\n \n \n False\n False\n 0\n \n \n \n \n True\n False\n Try _Selected\n True\n \n \n False\n False\n 1\n \n \n \n \n \n \n \n \n False\n False\n 1\n \n \n \n \n Try Constants\n True\n False\n True\n True\n False\n True\n \n \n False\n False\n 2\n \n \n \n \n gtk-copy\n True\n True\n False\n True\n \n \n False\n False\n 3\n \n \n \n \n True\n True\n True\n False\n \n \n True\n False\n 0\n 0\n \n \n True\n False\n 2\n \n \n True\n False\n gtk-ok\n \n \n False\n False\n 0\n \n \n \n \n True\n False\n bla bla bla\n True\n \n \n False\n False\n 1\n \n \n \n \n \n \n \n \n False\n False\n 4\n \n \n \n \n gtk-go-forward\n True\n True\n True\n False\n True\n \n \n False\n False\n 5\n \n \n \n \n False\n False\n end\n 0\n \n \n \n \n True\n False\n vertical\n 3\n \n \n True\n False\n some informative message here ...\n \n \n False\n False\n 0\n \n \n \n \n 400\n True\n True\n True\n \n \n True\n True\n False\n \n \n \n \n \n \n \n True\n True\n 1\n \n \n \n \n True\n False\n True\n \n \n True\n False\n URI: \n \n \n False\n False\n 0\n \n \n \n \n True\n True\n \n \n True\n True\n 1\n \n \n \n \n True\n True\n 2\n \n \n \n \n False\n True\n 2\n \n \n \n \n \n UriChoiceAbortButton\n \n \n\n" class autoWin ?translation_domain () = let builder = GBuilder.builder ?translation_domain () in let _ = builder#add_objects_from_string data ["AutoWin"] in object val toplevel = new GWindow.window (GtkWindow.Window.cast (builder#get_object "AutoWin")) method toplevel = toplevel val autoWin = new GWindow.window (GtkWindow.Window.cast (builder#get_object "AutoWin")) method autoWin = autoWin val vbox17 = new GPack.box (GtkPack.Box.cast (builder#get_object "vbox17")) method vbox17 = vbox17 val hbox30 = new GPack.box (GtkPack.Box.cast (builder#get_object "hbox30")) method hbox30 = hbox30 val scrolledwindowAREA = new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "scrolledwindowAREA")) method scrolledwindowAREA = scrolledwindowAREA val viewportAREA = new GBin.viewport (GtkBin.Viewport.cast (builder#get_object "viewportAREA")) method viewportAREA = viewportAREA val table = new GPack.grid (GtkPack.Grid.cast (builder#get_object "table")) method table = table val vbox18 = new GPack.box (GtkPack.Box.cast (builder#get_object "vbox18")) method vbox18 = vbox18 val buttonUP = new GButton.button (GtkButton.Button.cast (builder#get_object "buttonUP")) method buttonUP = buttonUP val alignment19 = new GBin.alignment (GtkBin.Alignment.cast (builder#get_object "alignment19")) method alignment19 = alignment19 val hbox31 = new GPack.box (GtkPack.Box.cast (builder#get_object "hbox31")) method hbox31 = hbox31 val image1066 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image1066")) method image1066 = image1066 val label30 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label30")) method label30 = label30 val buttonDOWN = new GButton.button (GtkButton.Button.cast (builder#get_object "buttonDOWN")) method buttonDOWN = buttonDOWN val image1065 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image1065")) method image1065 = image1065 val hseparator3 = new GObj.widget_full (GtkMisc.Separator.cast (builder#get_object "hseparator3")) method hseparator3 = hseparator3 val hbox32 = new GPack.box (GtkPack.Box.cast (builder#get_object "hbox32")) method hbox32 = hbox32 val labelLAST = new GMisc.label (GtkMisc.Label.cast (builder#get_object "labelLAST")) method labelLAST = labelLAST val hbuttonbox3 = new GPack.button_box (GtkPack.BBox.cast (builder#get_object "hbuttonbox3")) method hbuttonbox3 = hbuttonbox3 val buttonPAUSE = new GButton.button (GtkButton.Button.cast (builder#get_object "buttonPAUSE")) method buttonPAUSE = buttonPAUSE val buttonPLAY = new GButton.button (GtkButton.Button.cast (builder#get_object "buttonPLAY")) method buttonPLAY = buttonPLAY val buttonNEXT = new GButton.button (GtkButton.Button.cast (builder#get_object "buttonNEXT")) method buttonNEXT = buttonNEXT val buttonCLOSE = new GButton.button (GtkButton.Button.cast (builder#get_object "buttonCLOSE")) method buttonCLOSE = buttonCLOSE method reparent parent = vbox17#misc#reparent parent; toplevel#destroy () end class browserWin ?translation_domain () = let builder = GBuilder.builder ?translation_domain () in let _ = builder#add_objects_from_string data ["BrowserWin"] in object val toplevel = new GWindow.window (GtkWindow.Window.cast (builder#get_object "BrowserWin")) method toplevel = toplevel val browserWin = new GWindow.window (GtkWindow.Window.cast (builder#get_object "BrowserWin")) method browserWin = browserWin val browserWinEventBox = new GBin.event_box (GtkBin.EventBox.cast (builder#get_object "BrowserWinEventBox")) method browserWinEventBox = browserWinEventBox val browserVBox = new GPack.box (GtkPack.Box.cast (builder#get_object "BrowserVBox")) method browserVBox = browserVBox val menubar2 = new GMenu.menu_shell (GtkMenu.MenuBar.cast (builder#get_object "menubar2")) method menubar2 = menubar2 val browserFileMenu = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "BrowserFileMenu")) method browserFileMenu = browserFileMenu val browserFileMenu_menu = new GMenu.menu (GtkMenu.Menu.cast (builder#get_object "BrowserFileMenu_menu")) method browserFileMenu_menu = browserFileMenu_menu val browserNewMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "BrowserNewMenuItem")) method browserNewMenuItem = browserNewMenuItem val browserUrlMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "BrowserUrlMenuItem")) method browserUrlMenuItem = browserUrlMenuItem val separatormenuitem1 = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separatormenuitem1")) method separatormenuitem1 = separatormenuitem1 val browserCloseMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "BrowserCloseMenuItem")) method browserCloseMenuItem = browserCloseMenuItem val browserEditMenu = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "BrowserEditMenu")) method browserEditMenu = browserEditMenu val browserEditMenu_menu = new GMenu.menu (GtkMenu.Menu.cast (builder#get_object "BrowserEditMenu_menu")) method browserEditMenu_menu = browserEditMenu_menu val browserCopyMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "BrowserCopyMenuItem")) method browserCopyMenuItem = browserCopyMenuItem val frame2 = new GBin.frame (GtkBin.Frame.cast (builder#get_object "frame2")) method frame2 = frame2 val browserHBox = new GPack.box (GtkPack.Box.cast (builder#get_object "BrowserHBox")) method browserHBox = browserHBox val browserNewButton = new GButton.button (GtkButton.Button.cast (builder#get_object "BrowserNewButton")) method browserNewButton = browserNewButton val image303 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image303")) method image303 = image303 val browserBackButton = new GButton.button (GtkButton.Button.cast (builder#get_object "BrowserBackButton")) method browserBackButton = browserBackButton val image304 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image304")) method image304 = image304 val browserForwardButton = new GButton.button (GtkButton.Button.cast (builder#get_object "BrowserForwardButton")) method browserForwardButton = browserForwardButton val image305 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image305")) method image305 = image305 val browserRefreshButton = new GButton.button (GtkButton.Button.cast (builder#get_object "BrowserRefreshButton")) method browserRefreshButton = browserRefreshButton val image229 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image229")) method image229 = image229 val browserHomeButton = new GButton.button (GtkButton.Button.cast (builder#get_object "BrowserHomeButton")) method browserHomeButton = browserHomeButton val image190 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image190")) method image190 = image190 val image301 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image301")) method image301 = image301 val uriHBox = new GPack.box (GtkPack.Box.cast (builder#get_object "UriHBox")) method uriHBox = uriHBox val browserUri = new GEdit.entry (GtkEdit.Entry.cast (builder#get_object "browserUri")) method browserUri = browserUri val mathOrListNotebook = new GPack.notebook (GtkPack.Notebook.cast (builder#get_object "mathOrListNotebook")) method mathOrListNotebook = mathOrListNotebook val scrolledBrowser = new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "ScrolledBrowser")) method scrolledBrowser = scrolledBrowser val mathLabel = new GMisc.label (GtkMisc.Label.cast (builder#get_object "mathLabel")) method mathLabel = mathLabel val scrolledwindow9 = new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "scrolledwindow9")) method scrolledwindow9 = scrolledwindow9 val whelpResultTreeview = new GTree.view (GtkTree.TreeView.cast (builder#get_object "whelpResultTreeview")) method whelpResultTreeview = whelpResultTreeview val whelpResult = new GMisc.label (GtkMisc.Label.cast (builder#get_object "WhelpResult")) method whelpResult = whelpResult val scrolledwindow11 = new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "scrolledwindow11")) method scrolledwindow11 = scrolledwindow11 val viewport2 = new GBin.viewport (GtkBin.Viewport.cast (builder#get_object "viewport2")) method viewport2 = viewport2 val browserImage = new GMisc.image (GtkMisc.Image.cast (builder#get_object "BrowserImage")) method browserImage = browserImage val easterEggLabel = new GMisc.label (GtkMisc.Label.cast (builder#get_object "EasterEggLabel")) method easterEggLabel = easterEggLabel val graphScrolledWin = new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "GraphScrolledWin")) method graphScrolledWin = graphScrolledWin val label26 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label26")) method label26 = label26 val vbox20 = new GPack.box (GtkPack.Box.cast (builder#get_object "vbox20")) method vbox20 = vbox20 val scrolledwinContent = new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "scrolledwinContent")) method scrolledwinContent = scrolledwinContent val hbox35 = new GPack.box (GtkPack.Box.cast (builder#get_object "hbox35")) method hbox35 = hbox35 val vbox22 = new GPack.box (GtkPack.Box.cast (builder#get_object "vbox22")) method vbox22 = vbox22 val entrySearch = new GEdit.entry (GtkEdit.Entry.cast (builder#get_object "entrySearch")) method entrySearch = entrySearch val buttonSearch = new GButton.button (GtkButton.Button.cast (builder#get_object "buttonSearch")) method buttonSearch = buttonSearch val alignment21 = new GBin.alignment (GtkBin.Alignment.cast (builder#get_object "alignment21")) method alignment21 = alignment21 val hbox36 = new GPack.box (GtkPack.Box.cast (builder#get_object "hbox36")) method hbox36 = hbox36 val image1068 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image1068")) method image1068 = image1068 val label32 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label32")) method label32 = label32 val searchText = new GMisc.label (GtkMisc.Label.cast (builder#get_object "SearchText")) method searchText = searchText method reparent parent = browserWinEventBox#misc#reparent parent; toplevel#destroy () end class disambiguationErrors ?translation_domain () = let builder = GBuilder.builder ?translation_domain () in let _ = builder#add_objects_from_string data ["DisambiguationErrors"] in object val toplevel = new GWindow.dialog_any (GtkWindow.Dialog.cast (builder#get_object "DisambiguationErrors")) method toplevel = toplevel val disambiguationErrors = new GWindow.dialog_any (GtkWindow.Dialog.cast (builder#get_object "DisambiguationErrors")) method disambiguationErrors = disambiguationErrors val vbox14 = new GPack.box (GtkPack.Box.cast (builder#get_object "vbox14")) method vbox14 = vbox14 val hbuttonbox2 = new GPack.button_box (GtkPack.BBox.cast (builder#get_object "hbuttonbox2")) method hbuttonbox2 = hbuttonbox2 val vbox15 = new GPack.box (GtkPack.Box.cast (builder#get_object "vbox15")) method vbox15 = vbox15 val disambiguationErrorsLabel = new GMisc.label (GtkMisc.Label.cast (builder#get_object "disambiguationErrorsLabel")) method disambiguationErrorsLabel = disambiguationErrorsLabel val scrolledwindow12 = new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "scrolledwindow12")) method scrolledwindow12 = scrolledwindow12 val treeview = new GTree.view (GtkTree.TreeView.cast (builder#get_object "treeview")) method treeview = treeview method reparent parent = vbox14#misc#reparent parent; toplevel#destroy () end class findReplWin ?translation_domain () = let builder = GBuilder.builder ?translation_domain () in let _ = builder#add_objects_from_string data ["FindReplWin"] in object val toplevel = new GWindow.window (GtkWindow.Window.cast (builder#get_object "FindReplWin")) method toplevel = toplevel val findReplWin = new GWindow.window (GtkWindow.Window.cast (builder#get_object "FindReplWin")) method findReplWin = findReplWin val table1 = new GPack.grid (GtkPack.Grid.cast (builder#get_object "table1")) method table1 = table1 val label17 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label17")) method label17 = label17 val label18 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label18")) method label18 = label18 val findEntry = new GEdit.entry (GtkEdit.Entry.cast (builder#get_object "findEntry")) method findEntry = findEntry val replaceEntry = new GEdit.entry (GtkEdit.Entry.cast (builder#get_object "replaceEntry")) method replaceEntry = replaceEntry val hbox19 = new GPack.box (GtkPack.Box.cast (builder#get_object "hbox19")) method hbox19 = hbox19 val findButton = new GButton.button (GtkButton.Button.cast (builder#get_object "findButton")) method findButton = findButton val findReplButton = new GButton.button (GtkButton.Button.cast (builder#get_object "findReplButton")) method findReplButton = findReplButton val alignment13 = new GBin.alignment (GtkBin.Alignment.cast (builder#get_object "alignment13")) method alignment13 = alignment13 val hbox20 = new GPack.box (GtkPack.Box.cast (builder#get_object "hbox20")) method hbox20 = hbox20 val image357 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image357")) method image357 = image357 val label19 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label19")) method label19 = label19 val cancelButton = new GButton.button (GtkButton.Button.cast (builder#get_object "cancelButton")) method cancelButton = cancelButton method reparent parent = table1#misc#reparent parent; toplevel#destroy () end class mainWin ?translation_domain () = let builder = GBuilder.builder ?translation_domain () in let _ = builder#add_objects_from_string data ["MainWin"] in object val toplevel = new GWindow.window (GtkWindow.Window.cast (builder#get_object "MainWin")) method toplevel = toplevel val mainWin = new GWindow.window (GtkWindow.Window.cast (builder#get_object "MainWin")) method mainWin = mainWin val mainWinEventBox = new GBin.event_box (GtkBin.EventBox.cast (builder#get_object "MainWinEventBox")) method mainWinEventBox = mainWinEventBox val vbox8 = new GPack.box (GtkPack.Box.cast (builder#get_object "vbox8")) method vbox8 = vbox8 val menubar1 = new GMenu.menu_shell (GtkMenu.MenuBar.cast (builder#get_object "menubar1")) method menubar1 = menubar1 val fileMenu = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "fileMenu")) method fileMenu = fileMenu val fileMenu_menu = new GMenu.menu (GtkMenu.Menu.cast (builder#get_object "fileMenu_menu")) method fileMenu_menu = fileMenu_menu val newMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "newMenuItem")) method newMenuItem = newMenuItem val openMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "openMenuItem")) method openMenuItem = openMenuItem val saveMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "saveMenuItem")) method saveMenuItem = saveMenuItem val saveAsMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "saveAsMenuItem")) method saveAsMenuItem = saveAsMenuItem val separator2 = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator2")) method separator2 = separator2 val closeMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "closeMenuItem")) method closeMenuItem = closeMenuItem val quitMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "quitMenuItem")) method quitMenuItem = quitMenuItem val editMenu = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "editMenu")) method editMenu = editMenu val editMenu_menu = new GMenu.menu (GtkMenu.Menu.cast (builder#get_object "editMenu_menu")) method editMenu_menu = editMenu_menu val undoMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "undoMenuItem")) method undoMenuItem = undoMenuItem val redoMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "redoMenuItem")) method redoMenuItem = redoMenuItem val separator3 = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator3")) method separator3 = separator3 val cutMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "cutMenuItem")) method cutMenuItem = cutMenuItem val copyMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "copyMenuItem")) method copyMenuItem = copyMenuItem val pasteMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "pasteMenuItem")) method pasteMenuItem = pasteMenuItem val pastePatternMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "pastePatternMenuItem")) method pastePatternMenuItem = pastePatternMenuItem val unicodeAsTexMenuItem = new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast (builder#get_object "unicodeAsTexMenuItem")) method unicodeAsTexMenuItem = unicodeAsTexMenuItem val menuitemAutoAltL = new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast (builder#get_object "menuitemAutoAltL")) method menuitemAutoAltL = menuitemAutoAltL val deleteMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "deleteMenuItem")) method deleteMenuItem = deleteMenuItem val separator4 = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator4")) method separator4 = separator4 val selectAllMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "selectAllMenuItem")) method selectAllMenuItem = selectAllMenuItem val separator7 = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator7")) method separator7 = separator7 val findReplMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "findReplMenuItem")) method findReplMenuItem = findReplMenuItem val separator8 = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator8")) method separator8 = separator8 val ligatureButton = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "LigatureButton")) method ligatureButton = ligatureButton val externalEditorMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "externalEditorMenuItem")) method externalEditorMenuItem = externalEditorMenuItem val scriptMenu = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "scriptMenu")) method scriptMenu = scriptMenu val scriptMenu_menu = new GMenu.menu (GtkMenu.Menu.cast (builder#get_object "scriptMenu_menu")) method scriptMenu_menu = scriptMenu_menu val scriptAdvanceMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "scriptAdvanceMenuItem")) method scriptAdvanceMenuItem = scriptAdvanceMenuItem val scriptRetractMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "scriptRetractMenuItem")) method scriptRetractMenuItem = scriptRetractMenuItem val separator9 = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator9")) method separator9 = separator9 val scriptBottomMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "scriptBottomMenuItem")) method scriptBottomMenuItem = scriptBottomMenuItem val scriptTopMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "scriptTopMenuItem")) method scriptTopMenuItem = scriptTopMenuItem val separator10 = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator10")) method separator10 = separator10 val scriptJumpMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "scriptJumpMenuItem")) method scriptJumpMenuItem = scriptJumpMenuItem val viewMenu = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "viewMenu")) method viewMenu = viewMenu val viewMenu_menu = new GMenu.menu (GtkMenu.Menu.cast (builder#get_object "viewMenu_menu")) method viewMenu_menu = viewMenu_menu val newCicBrowserMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "newCicBrowserMenuItem")) method newCicBrowserMenuItem = newCicBrowserMenuItem val separator5 = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator5")) method separator5 = separator5 val fullscreenMenuItem = new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast (builder#get_object "fullscreenMenuItem")) method fullscreenMenuItem = fullscreenMenuItem val menuitemPalette = new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast (builder#get_object "menuitemPalette")) method menuitemPalette = menuitemPalette val separator1 = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator1")) method separator1 = separator1 val increaseFontSizeMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "increaseFontSizeMenuItem")) method increaseFontSizeMenuItem = increaseFontSizeMenuItem val decreaseFontSizeMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "decreaseFontSizeMenuItem")) method decreaseFontSizeMenuItem = decreaseFontSizeMenuItem val normalFontSizeMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "normalFontSizeMenuItem")) method normalFontSizeMenuItem = normalFontSizeMenuItem val separator12 = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator12")) method separator12 = separator12 val ppNotationMenuItem = new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast (builder#get_object "ppNotationMenuItem")) method ppNotationMenuItem = ppNotationMenuItem val hideCoercionsMenuItem = new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast (builder#get_object "hideCoercionsMenuItem")) method hideCoercionsMenuItem = hideCoercionsMenuItem val separator13 = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator13")) method separator13 = separator13 val showCoercionsGraphMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "showCoercionsGraphMenuItem")) method showCoercionsGraphMenuItem = showCoercionsGraphMenuItem val showHintsDbMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "showHintsDbMenuItem")) method showHintsDbMenuItem = showHintsDbMenuItem val showTermGrammarMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "showTermGrammarMenuItem")) method showTermGrammarMenuItem = showTermGrammarMenuItem val showUnicodeTable = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "showUnicodeTable")) method showUnicodeTable = showUnicodeTable val debugMenu = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "debugMenu")) method debugMenu = debugMenu val debugMenu_menu = new GMenu.menu (GtkMenu.Menu.cast (builder#get_object "debugMenu_menu")) method debugMenu_menu = debugMenu_menu val separator6 = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator6")) method separator6 = separator6 val helpMenu = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "helpMenu")) method helpMenu = helpMenu val helpMenu_menu = new GMenu.menu (GtkMenu.Menu.cast (builder#get_object "helpMenu_menu")) method helpMenu_menu = helpMenu_menu val contentsMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "contentsMenuItem")) method contentsMenuItem = contentsMenuItem val aboutMenuItem = new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "aboutMenuItem")) method aboutMenuItem = aboutMenuItem val hbox99 = new GPack.box (GtkPack.Box.cast (builder#get_object "hbox99")) method hbox99 = hbox99 val hpaneScriptSequent = new GPack.paned (GtkPack.Paned.cast (builder#get_object "hpaneScriptSequent")) method hpaneScriptSequent = hpaneScriptSequent val hbox18 = new GPack.box (GtkPack.Box.cast (builder#get_object "hbox18")) method hbox18 = hbox18 val tacticsButtonsHandlebox = new GPack.box (GtkPack.Box.cast (builder#get_object "TacticsButtonsHandlebox")) method tacticsButtonsHandlebox = tacticsButtonsHandlebox val vboxTacticsPalette = new GPack.box (GtkPack.Box.cast (builder#get_object "vboxTacticsPalette")) method vboxTacticsPalette = vboxTacticsPalette val expander1 = new GBin.expander (GtkBin.Expander.cast (builder#get_object "expander1")) method expander1 = expander1 val vbox1 = new GPack.box (GtkPack.Box.cast (builder#get_object "vbox1")) method vbox1 = vbox1 val butImpl_intro = new GButton.button (GtkButton.Button.cast (builder#get_object "butImpl_intro")) method butImpl_intro = butImpl_intro val label8 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label8")) method label8 = label8 val butAnd_intro = new GButton.button (GtkButton.Button.cast (builder#get_object "butAnd_intro")) method butAnd_intro = butAnd_intro val label7 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label7")) method label7 = label7 val butOr_intro_left = new GButton.button (GtkButton.Button.cast (builder#get_object "butOr_intro_left")) method butOr_intro_left = butOr_intro_left val label9 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label9")) method label9 = label9 val butOr_intro_right = new GButton.button (GtkButton.Button.cast (builder#get_object "butOr_intro_right")) method butOr_intro_right = butOr_intro_right val label10 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label10")) method label10 = label10 val butNot_intro = new GButton.button (GtkButton.Button.cast (builder#get_object "butNot_intro")) method butNot_intro = butNot_intro val label11 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label11")) method label11 = label11 val butTop_intro = new GButton.button (GtkButton.Button.cast (builder#get_object "butTop_intro")) method butTop_intro = butTop_intro val label12 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label12")) method label12 = label12 val butForall_intro = new GButton.button (GtkButton.Button.cast (builder#get_object "butForall_intro")) method butForall_intro = butForall_intro val label20 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label20")) method label20 = label20 val butExists_intro = new GButton.button (GtkButton.Button.cast (builder#get_object "butExists_intro")) method butExists_intro = butExists_intro val label21 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label21")) method label21 = label21 val label4 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label4")) method label4 = label4 val expander2 = new GBin.expander (GtkBin.Expander.cast (builder#get_object "expander2")) method expander2 = expander2 val vbox3 = new GPack.box (GtkPack.Box.cast (builder#get_object "vbox3")) method vbox3 = vbox3 val butImpl_elim = new GButton.button (GtkButton.Button.cast (builder#get_object "butImpl_elim")) method butImpl_elim = butImpl_elim val label22 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label22")) method label22 = label22 val butAnd_elim_left = new GButton.button (GtkButton.Button.cast (builder#get_object "butAnd_elim_left")) method butAnd_elim_left = butAnd_elim_left val label23 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label23")) method label23 = label23 val butAnd_elim_right = new GButton.button (GtkButton.Button.cast (builder#get_object "butAnd_elim_right")) method butAnd_elim_right = butAnd_elim_right val label24 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label24")) method label24 = label24 val butOr_elim = new GButton.button (GtkButton.Button.cast (builder#get_object "butOr_elim")) method butOr_elim = butOr_elim val label27 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label27")) method label27 = label27 val butNot_elim = new GButton.button (GtkButton.Button.cast (builder#get_object "butNot_elim")) method butNot_elim = butNot_elim val label31 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label31")) method label31 = label31 val butBot_elim = new GButton.button (GtkButton.Button.cast (builder#get_object "butBot_elim")) method butBot_elim = butBot_elim val label33 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label33")) method label33 = label33 val butForall_elim = new GButton.button (GtkButton.Button.cast (builder#get_object "butForall_elim")) method butForall_elim = butForall_elim val label34 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label34")) method label34 = label34 val butExists_elim = new GButton.button (GtkButton.Button.cast (builder#get_object "butExists_elim")) method butExists_elim = butExists_elim val label35 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label35")) method label35 = label35 val label5 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label5")) method label5 = label5 val expander3 = new GBin.expander (GtkBin.Expander.cast (builder#get_object "expander3")) method expander3 = expander3 val vbox4 = new GPack.box (GtkPack.Box.cast (builder#get_object "vbox4")) method vbox4 = vbox4 val butRAA = new GButton.button (GtkButton.Button.cast (builder#get_object "butRAA")) method butRAA = butRAA val butUseLemma = new GButton.button (GtkButton.Button.cast (builder#get_object "butUseLemma")) method butUseLemma = butUseLemma val butDischarge = new GButton.button (GtkButton.Button.cast (builder#get_object "butDischarge")) method butDischarge = butDischarge val label6 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label6")) method label6 = label6 val vboxScript = new GPack.box (GtkPack.Box.cast (builder#get_object "vboxScript")) method vboxScript = vboxScript val hbox28 = new GPack.box (GtkPack.Box.cast (builder#get_object "hbox28")) method hbox28 = hbox28 val buttonsToolbar = new GButton.toolbar (GtkButton.Toolbar.cast (builder#get_object "buttonsToolbar")) method buttonsToolbar = buttonsToolbar val toolitem41 = new GButton.tool_item (GtkButton.ToolItem.cast (builder#get_object "toolitem41")) method toolitem41 = toolitem41 val scriptTopButton = new GButton.button (GtkButton.Button.cast (builder#get_object "scriptTopButton")) method scriptTopButton = scriptTopButton val image920 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image920")) method image920 = image920 val toolitem42 = new GButton.tool_item (GtkButton.ToolItem.cast (builder#get_object "toolitem42")) method toolitem42 = toolitem42 val scriptRetractButton = new GButton.button (GtkButton.Button.cast (builder#get_object "scriptRetractButton")) method scriptRetractButton = scriptRetractButton val image921 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image921")) method image921 = image921 val toolitem43 = new GButton.tool_item (GtkButton.ToolItem.cast (builder#get_object "toolitem43")) method toolitem43 = toolitem43 val scriptJumpButton = new GButton.button (GtkButton.Button.cast (builder#get_object "scriptJumpButton")) method scriptJumpButton = scriptJumpButton val image922 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image922")) method image922 = image922 val toolitem44 = new GButton.tool_item (GtkButton.ToolItem.cast (builder#get_object "toolitem44")) method toolitem44 = toolitem44 val scriptAdvanceButton = new GButton.button (GtkButton.Button.cast (builder#get_object "scriptAdvanceButton")) method scriptAdvanceButton = scriptAdvanceButton val image923 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image923")) method image923 = image923 val toolitem45 = new GButton.tool_item (GtkButton.ToolItem.cast (builder#get_object "toolitem45")) method toolitem45 = toolitem45 val scriptBottomButton = new GButton.button (GtkButton.Button.cast (builder#get_object "scriptBottomButton")) method scriptBottomButton = scriptBottomButton val image924 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image924")) method image924 = image924 val toolbar2 = new GButton.toolbar (GtkButton.Toolbar.cast (builder#get_object "toolbar2")) method toolbar2 = toolbar2 val toolitem46 = new GButton.tool_item (GtkButton.ToolItem.cast (builder#get_object "toolitem46")) method toolitem46 = toolitem46 val scriptAbortButton = new GButton.button (GtkButton.Button.cast (builder#get_object "scriptAbortButton")) method scriptAbortButton = scriptAbortButton val image927 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image927")) method image927 = image927 val scriptNotebook = new GPack.notebook (GtkPack.Notebook.cast (builder#get_object "scriptNotebook")) method scriptNotebook = scriptNotebook val vpaned1 = new GPack.paned (GtkPack.Paned.cast (builder#get_object "vpaned1")) method vpaned1 = vpaned1 val sequentsNotebook = new GPack.notebook (GtkPack.Notebook.cast (builder#get_object "sequentsNotebook")) method sequentsNotebook = sequentsNotebook val hbox9 = new GPack.box (GtkPack.Box.cast (builder#get_object "hbox9")) method hbox9 = hbox9 val logScrolledWin = new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "logScrolledWin")) method logScrolledWin = logScrolledWin val logTextView = new GText.view (GtkText.View.cast (builder#get_object "logTextView")) method logTextView = logTextView val hbox10 = new GPack.box (GtkPack.Box.cast (builder#get_object "hbox10")) method hbox10 = hbox10 val statusBar = new GMisc.statusbar (GtkMisc.Statusbar.cast (builder#get_object "StatusBar")) method statusBar = statusBar val hintNotebook = new GPack.notebook (GtkPack.Notebook.cast (builder#get_object "HintNotebook")) method hintNotebook = hintNotebook val hintLowImage = new GMisc.image (GtkMisc.Image.cast (builder#get_object "HintLowImage")) method hintLowImage = hintLowImage val label14 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label14")) method label14 = label14 val hintMediumImage = new GMisc.image (GtkMisc.Image.cast (builder#get_object "HintMediumImage")) method hintMediumImage = hintMediumImage val label15 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label15")) method label15 = label15 val hintHighImage = new GMisc.image (GtkMisc.Image.cast (builder#get_object "HintHighImage")) method hintHighImage = hintHighImage val label16 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label16")) method label16 = label16 method reparent parent = mainWinEventBox#misc#reparent parent; toplevel#destroy () end class uriChoiceDialog ?translation_domain () = let builder = GBuilder.builder ?translation_domain () in let _ = builder#add_objects_from_string data ["UriChoiceDialog"] in object val toplevel = new GWindow.dialog_any (GtkWindow.Dialog.cast (builder#get_object "UriChoiceDialog")) method toplevel = toplevel val uriChoiceDialog = new GWindow.dialog_any (GtkWindow.Dialog.cast (builder#get_object "UriChoiceDialog")) method uriChoiceDialog = uriChoiceDialog val dialog_vbox3 = new GPack.box (GtkPack.Box.cast (builder#get_object "dialog-vbox3")) method dialog_vbox3 = dialog_vbox3 val dialog_action_area3 = new GPack.button_box (GtkPack.BBox.cast (builder#get_object "dialog-action_area3")) method dialog_action_area3 = dialog_action_area3 val uriChoiceAbortButton = new GButton.button (GtkButton.Button.cast (builder#get_object "UriChoiceAbortButton")) method uriChoiceAbortButton = uriChoiceAbortButton val uriChoiceSelectedButton = new GButton.button (GtkButton.Button.cast (builder#get_object "UriChoiceSelectedButton")) method uriChoiceSelectedButton = uriChoiceSelectedButton val alignment2 = new GBin.alignment (GtkBin.Alignment.cast (builder#get_object "alignment2")) method alignment2 = alignment2 val hbox3 = new GPack.box (GtkPack.Box.cast (builder#get_object "hbox3")) method hbox3 = hbox3 val image19 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image19")) method image19 = image19 val label3 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label3")) method label3 = label3 val uriChoiceConstantsButton = new GButton.button (GtkButton.Button.cast (builder#get_object "UriChoiceConstantsButton")) method uriChoiceConstantsButton = uriChoiceConstantsButton val copyButton = new GButton.button (GtkButton.Button.cast (builder#get_object "copyButton")) method copyButton = copyButton val uriChoiceAutoButton = new GButton.button (GtkButton.Button.cast (builder#get_object "uriChoiceAutoButton")) method uriChoiceAutoButton = uriChoiceAutoButton val alignment5 = new GBin.alignment (GtkBin.Alignment.cast (builder#get_object "alignment5")) method alignment5 = alignment5 val hbox16 = new GPack.box (GtkPack.Box.cast (builder#get_object "hbox16")) method hbox16 = hbox16 val image302 = new GMisc.image (GtkMisc.Image.cast (builder#get_object "image302")) method image302 = image302 val okLabel = new GMisc.label (GtkMisc.Label.cast (builder#get_object "okLabel")) method okLabel = okLabel val uriChoiceForwardButton = new GButton.button (GtkButton.Button.cast (builder#get_object "uriChoiceForwardButton")) method uriChoiceForwardButton = uriChoiceForwardButton val vbox2 = new GPack.box (GtkPack.Box.cast (builder#get_object "vbox2")) method vbox2 = vbox2 val uriChoiceLabel = new GMisc.label (GtkMisc.Label.cast (builder#get_object "UriChoiceLabel")) method uriChoiceLabel = uriChoiceLabel val scrolledwindow1 = new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "scrolledwindow1")) method scrolledwindow1 = scrolledwindow1 val uriChoiceTreeView = new GTree.view (GtkTree.TreeView.cast (builder#get_object "UriChoiceTreeView")) method uriChoiceTreeView = uriChoiceTreeView val uriEntryHBox = new GPack.box (GtkPack.Box.cast (builder#get_object "uriEntryHBox")) method uriEntryHBox = uriEntryHBox val label2 = new GMisc.label (GtkMisc.Label.cast (builder#get_object "label2")) method label2 = label2 val entry1 = new GEdit.entry (GtkEdit.Entry.cast (builder#get_object "entry1")) method entry1 = entry1 method reparent parent = dialog_vbox3#misc#reparent parent; toplevel#destroy () end