<?xml version="1.0"?>

<glade-interface>

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

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

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

<child>

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

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

<child>

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

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

<child>

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

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

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

<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">Nodes:</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="hbuttonbox6">

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

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

<child>

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

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

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

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

<child>

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

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

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

<child>

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

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

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

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

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

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

<property name="yalign">0.52999997138977051</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">2</property>

</packing>

</child>

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

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

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

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

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

<child>

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

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

<child>

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

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

<child>

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

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

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

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

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

<child>

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

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

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

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

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

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

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

</widget>

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

</packing>

</child>

<child>

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

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

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

<child>

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

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

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

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

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

</widget>

<packing>

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

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

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

</packing>

</child>

<child>

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

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

</widget>

<packing>

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

</packing>

</child>

</widget>

</child>

</widget>

</child>

<child>

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

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

<property name="label" translatable="yes">Check Consisstency:</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="frame6">

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

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

<property name="left_padding">12</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">No sublogic</property>

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

</widget>

</child>

</widget>

</child>

<child>

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

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

<property name="label" translatable="yes">Sublogic of selected theories:</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>

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

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

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

<child>

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

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

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

<property name="label" translatable="yes">No path selected</property>

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

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

</widget>

</child>

</widget>

</child>

<child>

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

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

</packing>

</child>

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

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

<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 Model finder:</property>

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

</widget>

<packing>

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

</packing>

</child>

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

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

<child>

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

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

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

</packing>

</child>

</widget>

<packing>

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

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

</packing>

</child>

</widget>

</child>

</widget>

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

<child>

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

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

<child>

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

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

<child>

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

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

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

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

<child>

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

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

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

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

</widget>

</child>

</widget>

</child>

</widget>

</child>

<child>

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

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

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

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

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

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

<child>

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

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

<property name="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="GtkTextView" id="tvResModel">

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

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

</widget>

</child>

</widget>

</child>

</widget>

</child>

<child>

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

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

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

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

</widget>

<packing>

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

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

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

</packing>

</child>

</widget>

</child>

</widget>

</glade-interface>