<?xml version="1.0" encoding="UTF-8" standalone="no"?>

<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">

<glade-interface>

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

<child>

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

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

<child>

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

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

<child>

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

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

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

<property name="shadow_type">GTK_SHADOW_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">GTK_POLICY_AUTOMATIC</property>

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

<child>

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

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

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

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

</widget>

</child>

</widget>

</child>

</widget>

</child>

<child>

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

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

<property name="label" translatable="yes">&lt;b&gt;Model:&lt;/b&gt;</property>

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

</widget>

<packing>

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

</packing>

</child>

</widget>

</child>

<child>

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

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

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

<child>

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

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

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

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

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

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

</widget>

</child>

<child>

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

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

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

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

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

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

</widget>

<packing>

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

</packing>

</child>

</widget>

<packing>

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

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

</packing>

</child>

</widget>

</child>

<child>

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

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

<child>

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

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

<child>

<placeholder/>

</child>

<child>

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

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

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

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

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

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

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

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

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

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

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

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

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

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

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

<property name="label" translatable="yes">Check Consistency</property>

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

</widget>

<packing>

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

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

</packing>

</child>

</widget>

<packing>

<property name="expand">False</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">&lt;b&gt;Status:&lt;/b&gt;</property>

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

</widget>

</child>

</widget>

<packing>

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

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

<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">2</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">&lt;b&gt;Sublogic of currently selected theory:&lt;/b&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="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="labSublogic">

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

</packing>

</child>

<child>

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

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

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

<property name="shadow_type">GTK_SHADOW_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">75</property>

<child>

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

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

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

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

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

<child>

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

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

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

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

</widget>

</child>

</widget>

</child>

</widget>

</child>

<child>

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

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

<property name="label" translatable="yes">&lt;b&gt;Pick&lt;/b&gt; Model finder:</property>

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

</widget>

<packing>

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

</packing>

</child>

</widget>

<packing>

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

</packing>

</child>

</widget>

<packing>

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

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

</packing>

</child>

</widget>

</child>

<child>

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

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

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

<child>

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

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

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

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

<property name="label" translatable="yes">More fine grained selection...</property>

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

</widget>

</child>

</widget>

<packing>

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

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

</packing>

</child>

</widget>

</child>

<child>

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

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

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

<child>

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

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

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

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

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

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

</widget>

</child>

<child>

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

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

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

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

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

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

</widget>

<packing>

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

</packing>

</child>

</widget>

<packing>

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

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

</packing>

</child>

</widget>

</child>

</widget>

</glade-interface>