b03274844ecd270f9e9331f51cc4236a33e2e671Christian Maeder<?xml version="1.0"?>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder<glade-interface>

b03274844ecd270f9e9331f51cc4236a33e2e671Christian Maeder <!-- interface-requires gtk+ 2.8 -->

97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maeder <!-- interface-naming-policy project-wide -->

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkWindow" id="ProverGUI">

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkVBox" id="vbox1">

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="visible">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="orientation">vertical</property>

f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkHBox" id="hbox2">

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="visible">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="visible">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="orientation">vertical</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkFrame" id="frame3">

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="visible">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="label_xalign">0</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="shadow_type">none</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkAlignment" id="alignment1">

4cb77926a2d85ce3bb32ac0938f0100c8c528dc2Till Mossakowski <property name="visible">True</property>

4cb77926a2d85ce3bb32ac0938f0100c8c528dc2Till Mossakowski <property name="top_padding">6</property>

4cb77926a2d85ce3bb32ac0938f0100c8c528dc2Till Mossakowski <property name="bottom_padding">6</property>

4cb77926a2d85ce3bb32ac0938f0100c8c528dc2Till Mossakowski <property name="left_padding">6</property>

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

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <child>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <widget class="GtkScrolledWindow" id="scrolledwindow1">

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <property name="visible">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="can_focus">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="hscrollbar_policy">automatic</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="vscrollbar_policy">automatic</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkTreeView" id="trvGoals">

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="visible">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="can_focus">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </widget>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </widget>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder </child>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder </widget>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkLabel" id="lblGoals">

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="visible">True</property>

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

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <property name="use_markup">True</property>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder </widget>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <packing>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <property name="type">label_item</property>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder </packing>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder </child>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder </widget>

b03274844ecd270f9e9331f51cc4236a33e2e671Christian Maeder <packing>

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

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder </packing>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder </child>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <child>

b03274844ecd270f9e9331f51cc4236a33e2e671Christian Maeder <widget class="GtkVBox" id="vbox8">

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <property name="visible">True</property>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <property name="orientation">vertical</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkHButtonBox" id="hbuttonbox6">

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <property name="visible">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="layout_style">start</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkButton" id="btnGoalsAll">

e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0Christian Maeder <property name="label" translatable="yes">All</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="visible">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="can_focus">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="receives_default">True</property>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder </widget>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <packing>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <property name="expand">False</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="fill">False</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="position">0</property>

b03274844ecd270f9e9331f51cc4236a33e2e671Christian Maeder </packing>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder </child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <widget class="GtkButton" id="btnGoalsNone">

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="label" translatable="yes">None</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="visible">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="can_focus">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="receives_default">True</property>

b03274844ecd270f9e9331f51cc4236a33e2e671Christian Maeder </widget>

e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0Christian Maeder <packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="expand">False</property>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <property name="fill">False</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="position">1</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

e220b2051a2342a9291721e6c7f408860bed01b7Jorina Freya Gerken <widget class="GtkButton" id="btnGoalsInvert">

e220b2051a2342a9291721e6c7f408860bed01b7Jorina Freya Gerken <property name="label" translatable="yes">Invert</property>

e220b2051a2342a9291721e6c7f408860bed01b7Jorina Freya Gerken <property name="visible">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="can_focus">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="receives_default">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </widget>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <packing>

e220b2051a2342a9291721e6c7f408860bed01b7Jorina Freya Gerken <property name="expand">False</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="fill">False</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="position">2</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </packing>

b03274844ecd270f9e9331f51cc4236a33e2e671Christian Maeder </child>

e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0Christian Maeder </widget>

e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0Christian Maeder <packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="expand">False</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="position">0</property>

b03274844ecd270f9e9331f51cc4236a33e2e671Christian Maeder </packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkHButtonBox" id="hbuttonbox7">

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="visible">True</property>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <property name="layout_style">start</property>

b03274844ecd270f9e9331f51cc4236a33e2e671Christian Maeder <child>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <widget class="GtkButton" id="btnGoalsSelectOpen">

b03274844ecd270f9e9331f51cc4236a33e2e671Christian Maeder <property name="label" translatable="yes">Select open goals</property>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <property name="visible">True</property>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <property name="can_focus">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="receives_default">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </widget>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <packing>

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

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

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </widget>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="expand">False</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="position">1</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </packing>

b03274844ecd270f9e9331f51cc4236a33e2e671Christian Maeder </child>

e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0Christian Maeder </widget>

e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0Christian Maeder <packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="expand">False</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="position">1</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </child>

b03274844ecd270f9e9331f51cc4236a33e2e671Christian Maeder </widget>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <packing>

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

b03274844ecd270f9e9331f51cc4236a33e2e671Christian Maeder </packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="visible">True</property>

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkFrame" id="frame2">

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="label_xalign">0</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="shadow_type">none</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkAlignment" id="alignment2">

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="visible">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="top_padding">3</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="bottom_padding">6</property>

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

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <child>

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

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <property name="visible">True</property>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <child>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <widget class="GtkButton" id="btnDisprove">

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <property name="label" translatable="yes">Disprove</property>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <property name="visible">True</property>

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="receives_default">True</property>

e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0Christian Maeder </widget>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <packing>

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

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder </packing>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder </child>

54a0a1e10bd93721cf52dbd9b816c8f108997ec0Christian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkButton" id="btnDisplay">

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="label" translatable="yes">Display</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="visible">True</property>

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

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </widget>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="expand">False</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="fill">False</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="pack_type">end</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="position">1</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkButton" id="btnProofDetails">

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="label" translatable="yes">Proof details</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="visible">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="can_focus">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="receives_default">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </widget>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="expand">False</property>

e220b2051a2342a9291721e6c7f408860bed01b7Jorina Freya Gerken <property name="fill">False</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="pack_type">end</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="position">1</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkButton" id="btnProve">

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="label" translatable="yes">Prove</property>

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

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="receives_default">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </widget>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="expand">False</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="fill">False</property>

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

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </widget>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </widget>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkLabel" id="label3">

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

e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0Christian Maeder <property name="label" translatable="yes">Selected goal(s):</property>

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

e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0Christian Maeder </widget>

b03274844ecd270f9e9331f51cc4236a33e2e671Christian Maeder <packing>

878d0086bd0aae2d7ad64451035c4e78047b1cffChristian Maeder <property name="type">label_item</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </widget>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="expand">False</property>

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="position">0</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="visible">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="label_xalign">0</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="shadow_type">none</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

4cb77926a2d85ce3bb32ac0938f0100c8c528dc2Till Mossakowski <widget class="GtkAlignment" id="alignment4">

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

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

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="left_padding">12</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkLabel" id="lblSublogic">

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="xalign">0</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="yalign">0</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="label" translatable="yes">No sublogic given</property>

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="selectable">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </widget>

e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0Christian Maeder </child>

e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0Christian Maeder </widget>

e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0Christian Maeder </child>

e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0Christian Maeder <child>

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="visible">True</property>

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

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="use_markup">True</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </widget>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="type">label_item</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </packing>

b03274844ecd270f9e9331f51cc4236a33e2e671Christian Maeder </child>

4cb77926a2d85ce3bb32ac0938f0100c8c528dc2Till Mossakowski </widget>

e220b2051a2342a9291721e6c7f408860bed01b7Jorina Freya Gerken <packing>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="expand">False</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="fill">False</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="position">1</property>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder </packing>

e220b2051a2342a9291721e6c7f408860bed01b7Jorina Freya Gerken </child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <child>

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <widget class="GtkFrame" id="frame4">

120eec9ff1748e1ae786e2ab073234198bc0f701Christian Maeder <property name="visible">True</property>

e220b2051a2342a9291721e6c7f408860bed01b7Jorina Freya Gerken <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="top_padding">3</property>

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

<property name="left_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="label2">

<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">2</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="alignment3">

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

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

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

<child>

<widget class="GtkComboBox" id="cbComorphism">

<property name="width_request">220</property>

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

</widget>

</child>

</widget>

</child>

<child>

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

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

<property name="label" translatable="yes">Selected comorphism path:</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="fill">False</property>

<property name="position">3</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="label4">

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

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

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

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

<property name="left_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="frame7">

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

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

<property name="left_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="hbuttonbox2">

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

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

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

</glade-interface>