<?xml version="1.0"?>

<glade-interface>

<!-- interface-requires gtk+ 2.12 -->

<!-- interface-naming-policy project-wide -->

<widget class="GtkWindow" id="GenericATP">

<property name="default_width">450</property>

<child>

<widget class="GtkVBox" id="vbox15">

<property name="visible">True</property>

<child>

<widget class="GtkHBox" id="hbox5">

<property name="visible">True</property>

<child>

<widget class="GtkFrame" id="frame8">

<property name="visible">True</property>

<property name="label_xalign">0</property>

<property name="shadow_type">none</property>

<child>

<widget class="GtkAlignment" id="alignment10">

<property name="visible">True</property>

<property name="top_padding">3</property>

<property name="left_padding">6</property>

<child>

<widget class="GtkScrolledWindow" id="scrolledwindow6">

<property name="visible">True</property>

<property name="can_focus">True</property>

<property name="hadjustment">0 0 66 6.6000000000000005 59.399999999999999 66</property>

<property name="vadjustment">0 0 229 22.900000000000002 206.09999999999999 229</property>

<property name="hscrollbar_policy">automatic</property>

<property name="vscrollbar_policy">automatic</property>

<child>

<widget class="GtkTreeView" id="trvGoals">

<property name="height_request">100</property>

<property name="visible">True</property>

<property name="can_focus">True</property>

</widget>

</child>

</widget>

</child>

</widget>

</child>

<child>

<widget class="GtkLabel" id="label6">

<property name="visible">True</property>

<property name="label" translatable="yes">Goals:</property>

<property name="use_markup">True</property>

</widget>

<packing>

<property name="type">label_item</property>

</packing>

</child>

</widget>

<packing>

<property name="position">0</property>

</packing>

</child>

<child>

<widget class="GtkVBox" id="vbox9">

<property name="visible">True</property>

<child>

<widget class="GtkFrame" id="frame9">

<property name="visible">True</property>

<property name="label_xalign">0</property>

<property name="shadow_type">none</property>

<child>

<widget class="GtkAlignment" id="alignment11">

<property name="visible">True</property>

<property name="top_padding">3</property>

<property name="bottom_padding">3</property>

<property name="left_padding">6</property>

<child>

<widget class="GtkVBox" id="vbox10">

<property name="visible">True</property>

<child>

<widget class="GtkHBox" id="hbox8">

<property name="visible">True</property>

<child>

<widget class="GtkLabel" id="label10">

<property name="visible">True</property>

<property name="xalign">0</property>

<property name="label" translatable="yes">Timeout:</property>

</widget>

<packing>

<property name="position">0</property>

</packing>

</child>

<child>

<widget class="GtkSpinButton" id="sbTimeout">

<property name="visible">True</property>

<property name="can_focus">True</property>

<property name="invisible_char">&#x25CF;</property>

<property name="adjustment">20 1 3600 1 0 0</property>

</widget>

<packing>

<property name="expand">False</property>

<property name="pack_type">end</property>

<property name="position">1</property>

</packing>

</child>

</widget>

<packing>

<property name="expand">False</property>

<property name="position">0</property>

</packing>

</child>

<child>

<widget class="GtkLabel" id="label11">

<property name="visible">True</property>

<property name="xalign">0</property>

<property name="label" translatable="yes">Extra Options:</property>

<property name="use_markup">True</property>

</widget>

<packing>

<property name="expand">False</property>

<property name="position">1</property>

</packing>

</child>

<child>

<widget class="GtkEntry" id="entryOptions">

<property name="visible">True</property>

<property name="can_focus">True</property>

<property name="invisible_char">&#x25CF;</property>

</widget>

<packing>

<property name="expand">False</property>

<property name="position">2</property>

</packing>

</child>

<child>

<widget class="GtkCheckButton" id="cbIncludeProven">

<property name="label" translatable="yes">Include preceeding proven

theorems in next proof attempt</property>

<property name="visible">True</property>

<property name="can_focus">True</property>

<property name="receives_default">False</property>

<property name="active">True</property>

<property name="draw_indicator">True</property>

</widget>

<packing>

<property name="expand">False</property>

<property name="position">3</property>

</packing>

</child>

<child>

<widget class="GtkCheckButton" id="cbSaveBatch">

<property name="label" translatable="yes">Save problem batch</property>

<property name="visible">True</property>

<property name="can_focus">True</property>

<property name="receives_default">False</property>

<property name="draw_indicator">True</property>

</widget>

<packing>

<property name="expand">False</property>

<property name="position">4</property>

</packing>

</child>

<child>

<widget class="GtkHButtonBox" id="hbuttonbox9">

<property name="visible">True</property>

<property name="layout_style">end</property>

<child>

<widget class="GtkButton" id="btnStop">

<property name="label" translatable="yes">Stop</property>

<property name="visible">True</property>

<property name="can_focus">True</property>

<property name="receives_default">True</property>

</widget>

<packing>

<property name="expand">False</property>

<property name="fill">False</property>

<property name="position">0</property>

</packing>

</child>

<child>

<widget class="GtkButton" id="btnProveSelected">

<property name="label" translatable="yes">Prove</property>

<property name="visible">True</property>

<property name="can_focus">True</property>

<property name="receives_default">True</property>

</widget>

<packing>

<property name="expand">False</property>

<property name="fill">False</property>

<property name="position">1</property>

</packing>

</child>

<child>

<widget class="GtkButton" id="btnProveAll">

<property name="label" translatable="yes">Prove all</property>

<property name="visible">True</property>

<property name="can_focus">True</property>

<property name="receives_default">True</property>

</widget>

<packing>

<property name="expand">False</property>

<property name="fill">False</property>

<property name="position">2</property>

</packing>

</child>

</widget>

<packing>

<property name="expand">False</property>

<property name="position">5</property>

</packing>

</child>

</widget>

</child>

</widget>

</child>

<child>

<widget class="GtkLabel" id="label7">

<property name="visible">True</property>

<property name="label" translatable="yes">Options:</property>

<property name="use_markup">True</property>

</widget>

<packing>

<property name="type">label_item</property>

</packing>

</child>

</widget>

<packing>

<property name="expand">False</property>

<property name="position">0</property>

</packing>

</child>

<child>

<widget class="GtkFrame" id="frame10">

<property name="visible">True</property>

<property name="label_xalign">0</property>

<property name="shadow_type">none</property>

<child>

<widget class="GtkAlignment" id="alignment13">

<property name="visible">True</property>

<property name="top_padding">3</property>

<property name="left_padding">6</property>

<child>

<widget class="GtkVBox" id="vbox11">

<property name="visible">True</property>

<child>

<widget class="GtkHBox" id="hbox6">

<property name="visible">True</property>

<child>

<widget class="GtkLabel" id="label13">

<property name="visible">True</property>

<property name="xalign">0</property>

<property name="label" translatable="yes">Status:</property>

</widget>

<packing>

<property name="expand">False</property>

<property name="position">0</property>

</packing>

</child>

<child>

<widget class="GtkLabel" id="lblStatus">

<property name="visible">True</property>

<property name="xalign">0</property>

<property name="xpad">3</property>

<property name="label" translatable="yes">Open</property>

<property name="use_markup">True</property>

</widget>

<packing>

<property name="position">1</property>

</packing>

</child>

</widget>

<packing>

<property name="expand">False</property>

<property name="position">0</property>

</packing>

</child>

<child>

<widget class="GtkLabel" id="label12">

<property name="visible">True</property>

<property name="xalign">0</property>

<property name="label" translatable="yes">Used Axioms:</property>

<property name="use_markup">True</property>

</widget>

<packing>

<property name="expand">False</property>

<property name="position">1</property>

</packing>

</child>

<child>

<widget class="GtkAlignment" id="alignment12">

<property name="visible">True</property>

<property name="top_padding">6</property>

<property name="bottom_padding">6</property>

<child>

<widget class="GtkScrolledWindow" id="scrolledwindow7">

<property name="visible">True</property>

<property name="can_focus">True</property>

<property name="hscrollbar_policy">automatic</property>

<property name="vscrollbar_policy">automatic</property>

<child>

<widget class="GtkTreeView" id="trvAxioms">

<property name="height_request">100</property>

<property name="visible">True</property>

<property name="can_focus">True</property>

</widget>

</child>

</widget>

</child>

</widget>

<packing>

<property name="position">2</property>

</packing>

</child>

<child>

<widget class="GtkHButtonBox" id="hbuttonbox10">

<property name="visible">True</property>

<property name="layout_style">end</property>

<child>

<widget class="GtkButton" id="btnSaveProblem">

<property name="label" translatable="yes">Save Problem File</property>

<property name="visible">True</property>

<property name="can_focus">True</property>

<property name="receives_default">True</property>

</widget>

<packing>

<property name="expand">False</property>

<property name="fill">False</property>

<property name="position">0</property>

</packing>

</child>

<child>

<widget class="GtkButton" id="btnShowDetails">

<property name="label" translatable="yes">Show Details</property>

<property name="visible">True</property>

<property name="can_focus">True</property>

<property name="receives_default">True</property>

</widget>

<packing>

<property name="expand">False</property>

<property name="fill">False</property>

<property name="position">1</property>

</packing>

</child>

</widget>

<packing>

<property name="expand">False</property>

<property name="position">3</property>

</packing>

</child>

</widget>

</child>

</widget>

</child>

<child>

<widget class="GtkLabel" id="label9">

<property name="visible">True</property>

<property name="label" translatable="yes">Results:</property>

<property name="use_markup">True</property>

</widget>

<packing>

<property name="type">label_item</property>

</packing>

</child>

</widget>

<packing>

<property name="position">1</property>

</packing>

</child>

</widget>

<packing>

<property name="expand">False</property>

<property name="position">1</property>

</packing>

</child>

</widget>

<packing>

<property name="position">0</property>

</packing>

</child>

<child>

<widget class="GtkHSeparator" id="hseparator3">

<property name="visible">True</property>

</widget>

<packing>

<property name="expand">False</property>

<property name="padding">3</property>

<property name="position">1</property>

</packing>

</child>

<child>

<widget class="GtkHButtonBox" id="hbuttonbox11">

<property name="visible">True</property>

<child>

<widget class="GtkButton" id="btnHelp">

<property name="label" translatable="yes">Help</property>

<property name="visible">True</property>

<property name="can_focus">True</property>

<property name="receives_default">True</property>

</widget>

<packing>

<property name="expand">False</property>

<property name="fill">False</property>

<property name="position">0</property>

</packing>

</child>

<child>

<widget class="GtkButton" id="btnSaveConfig">

<property name="label" translatable="yes">Save config</property>

<property name="visible">True</property>

<property name="can_focus">True</property>

<property name="receives_default">True</property>

</widget>

<packing>

<property name="expand">False</property>

<property name="fill">False</property>

<property name="position">1</property>

</packing>

</child>

<child>

<widget class="GtkButton" id="btnClose">

<property name="label" translatable="yes">Close</property>

<property name="visible">True</property>

<property name="can_focus">True</property>

<property name="receives_default">True</property>

</widget>

<packing>

<property name="expand">False</property>

<property name="fill">False</property>

<property name="pack_type">end</property>

<property name="position">2</property>

</packing>

</child>

</widget>

<packing>

<property name="expand">False</property>

<property name="fill">False</property>

<property name="position">2</property>

</packing>

</child>

</widget>

</child>

</widget>

</glade-interface>