<?xml version="1.0"?>

<glade-interface>

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

<!-- interface-naming-policy toplevel-contextual -->

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

<child>

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

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

<child>

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

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

<child>

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

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

<property name="orientation">vertical</property>

<child>

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

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

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

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

<child>

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

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

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

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

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

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

<child>

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

<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="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="lblGoals">

<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="vbox8">

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

<property name="orientation">vertical</property>

<child>

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

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

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

<child>

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

<property name="label" translatable="yes">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">0</property>

</packing>

</child>

<child>

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

<property name="label" translatable="yes">None</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="btnGoalsInvert">

<property name="label" translatable="yes">Invert</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">0</property>

</packing>

</child>

<child>

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

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

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

<child>

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

<property name="label" translatable="yes">Select open goals</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>

</widget>

<packing>

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

<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="GtkVBox" id="vbox4">

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

<property name="orientation">vertical</property>

<child>

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

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

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

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

<child>

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

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

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

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

<property name="label" translatable="yes">Selected Goal(s):</property>

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

</widget>

</child>

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

<child>

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

<property name="label" translatable="yes">Display</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">1</property>

</packing>

</child>

<child>

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

<property name="label" translatable="yes">Proof 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="pack_type">end</property>

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

</packing>

</child>

<child>

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

<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="pack_type">end</property>

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

</packing>

</child>

</widget>

<packing>

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

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

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

</packing>

</child>

<child>

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

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

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

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

<child>

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

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

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

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

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

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

</widget>

</child>

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

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

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

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

<property name="right_padding">10</property>

<child>

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

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

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

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

<property name="label" translatable="yes">&lt;span color="green"&gt;Model found!&lt;/span&gt;</property>

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

</widget>

</child>

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

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

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

<property name="right_padding">15</property>

<child>

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

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

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

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

<property name="label" translatable="yes">Sublogic of currently selected theory:</property>

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

</widget>

</child>

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

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

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

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

<property name="right_padding">10</property>

<child>

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

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

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

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

<property name="label" translatable="yes">&lt;b&gt;CASL.FOL&lt;/b&gt;</property>

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

</widget>

</child>

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

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

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

<child>

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

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

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

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

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

<child>

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

<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="trvProvers">

<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="label1">

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

<property name="label" translatable="yes">Pick Theorem Prover:</property>

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

</widget>

<packing>

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

</packing>

</child>

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

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

<child>

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

<property name="label" translatable="yes">More fine grained selection...</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>

</widget>

<packing>

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

<property name="position">8</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="hseparator1">

<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="GtkVBox" id="vbox5">

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

<property name="orientation">vertical</property>

<child>

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

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

<property name="label" translatable="yes">Fine grained composition of theory</property>

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

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

<child>

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

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

<property name="orientation">vertical</property>

<child>

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

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

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

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

<child>

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

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

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

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

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

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

<child>

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

<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>

</child>

<child>

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

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

<property name="label" translatable="yes">Axioms to include:</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="vbox7">

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

<property name="orientation">vertical</property>

<child>

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

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

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

<child>

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

<property name="label" translatable="yes">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">0</property>

</packing>

</child>

<child>

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

<property name="label" translatable="yes">None</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="btnAxiomsInvert">

<property name="label" translatable="yes">Invert</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">0</property>

</packing>

</child>

<child>

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

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

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

<child>

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

<property name="label" translatable="yes">Deselect former theorems</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>

</widget>

<packing>

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

<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="GtkVBox" id="vbox6">

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

<property name="orientation">vertical</property>

<child>

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

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

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

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

<child>

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

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

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

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

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

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

<child>

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

<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="trvTheorems">

<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="lblGoals1">

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

<property name="label" translatable="yes">Theorems to include if proven:</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="GtkHButtonBox" id="hbuttonbox8">

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

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

<child>

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

<property name="label" translatable="yes">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">0</property>

</packing>

</child>

<child>

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

<property name="label" translatable="yes">None</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="btnTheoremsInvert">

<property name="label" translatable="yes">Invert</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">1</property>

</packing>

</child>

</widget>

<packing>

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

</packing>

</child>

</widget>

<packing>

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

</packing>

</child>

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

</widget>

<packing>

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

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

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

</packing>

</child>

<child>

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

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

<child>

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

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

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

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

<child>

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

<property name="label" translatable="yes">Show theory</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="btnShowSelectedTheory">

<property name="label" translatable="yes">Show selected theory</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">0</property>

</packing>

</child>

<child>

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

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

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

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

<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="position">0</property>

</packing>

</child>

</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">4</property>

</packing>

</child>

</widget>

</child>

</widget>

<widget class="GtkDialog" id="ProofDetails">

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

<property name="type_hint">normal</property>

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

<child internal-child="vbox">

<widget class="GtkVBox" id="dialog-vbox1">

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

<property name="orientation">vertical</property>

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

<child>

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

<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="GtkTextView" id="textview1">

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

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

</widget>

</child>

</widget>

<packing>

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

</packing>

</child>

<child internal-child="action_area">

<widget class="GtkHButtonBox" id="dialog-action_area1">

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

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

<child>

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

<property name="label" translatable="yes">Expand tactic scripts</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="btnExpandTrees">

<property name="label" translatable="yes">Expand proof trees</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">3</property>

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

</packing>

</child>

<child>

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

<property name="label" translatable="yes">Save</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>

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

</packing>

</child>

</widget>

<packing>

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

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

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

</packing>

</child>

</widget>

</child>

</widget>

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

<child>

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

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

<property name="orientation">vertical</property>

<child>

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

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

<child>

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

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

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

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

<child>

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

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

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

<child>

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

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

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

<property name="hadjustment">0 0 147 14.700000000000001 132.30000000000001 147</property>

<property name="vadjustment">0 0 400 40 360 400</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="label1">

<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="GtkFrame" id="frame2">

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

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

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

<child>

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

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

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

<child>

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

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

<property name="orientation">vertical</property>

<child>

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

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

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

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

<child>

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

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

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

<child>

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

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

<property name="orientation">vertical</property>

<child>

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

<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">Time Limit:</property>

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

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

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

<property name="adjustment">20 0 40 1 10 10</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="entryOptionsProve">

<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="GtkHButtonBox" id="hbuttonbox5">

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

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

<child>

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

<property name="label" translatable="yes">Save tptp 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="btnProve">

<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>

</widget>

<packing>

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

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

</packing>

</child>

</widget>

</child>

</widget>

</child>

<child>

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

<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="frame5">

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

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

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

<child>

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

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

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

<child>

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

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

<property name="orientation">vertical</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">20</property>

<property name="label" translatable="yes">Open</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="alignment6">

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

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

<child>

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

<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="hbuttonbox6">

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

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

<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">0</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>

</child>

</widget>

</child>

<child>

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

<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="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="GtkVBox" id="vbox3">

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

<property name="orientation">vertical</property>

<child>

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

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

<property name="label" translatable="yes">Darwin Batch Mode:</property>

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

<child>

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

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

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

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

<child>

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

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

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

<child>

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

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

<property name="orientation">vertical</property>

<child>

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

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

<child>

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

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

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

<property name="label" translatable="yes">Time Limit:</property>

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

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

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

<property name="adjustment">20 0 40 1 10 10</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="position">0</property>

</packing>

</child>

<child>

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

<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="position">1</property>

</packing>

</child>

<child>

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

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

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

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

</widget>

<packing>

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

</packing>

</child>

</widget>

</child>

</widget>

</child>

<child>

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

<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="position">0</property>

</packing>

</child>

<child>

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

<property name="visible">True</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="btnRun">

<property name="label" translatable="yes">Run</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">1</property>

</packing>

</child>

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

<child>

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

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

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

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

<property name="label" translatable="yes">Current goal:</property>

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

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

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

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

</widget>

<packing>

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

</packing>

</child>

</widget>

<packing>

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

</packing>

</child>

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

</widget>

<packing>

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

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

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

</packing>

</child>

<child>

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

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

<property name="orientation">vertical</property>

<child>

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

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

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

</widget>

<packing>

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

<property name="position">0</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">1</property>

</packing>

</child>

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

</widget>

<packing>

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

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

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

</packing>

</child>

<child>

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

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

<child>

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

<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>

</widget>

<packing>

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

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

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

</packing>

</child>

<child>

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

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

<child>

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

<property name="label" translatable="yes">Save Prover configuratuion</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>

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

<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="position">0</property>

</packing>

</child>

</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="position">6</property>

</packing>

</child>

</widget>

</child>

</widget>

</glade-interface>