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

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

<glade-interface>

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

<child>

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

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

<child>

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

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

<child>

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

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

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

<child>

<widget class="GtkVButtonBox" id="vbuttonbox2">

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

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

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">Homogen Global Definition</property>

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

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

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

</widget>

</child>

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">Heterogen Global Definition</property>

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

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

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

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">Local Definition</property>

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

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

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

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">Hiding Definition</property>

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

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

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

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">Free or Cofree Definition</property>

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

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

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

</widget>

<packing>

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

</packing>

</child>

</widget>

</child>

</widget>

</child>

<child>

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

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

<property name="label" translatable="yes">&lt;b&gt;Definition links&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="GtkFrame" id="frame4">

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

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

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

<child>

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

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

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

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

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

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

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

<child>

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

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

<child>

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

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

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

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

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

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

</widget>

<packing>

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

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

</packing>

</child>

<child>

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

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

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

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

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

<property name="response_id">0</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="btnInvert">

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

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

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

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

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

</widget>

<packing>

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

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

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

</packing>

</child>

</widget>

</child>

</widget>

</child>

<child>

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

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

<property name="label" translatable="yes">&lt;b&gt;Modifications&lt;/b&gt;</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">1</property>

</packing>

</child>

</widget>

</child>

<child>

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

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

<child>

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

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

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

<child>

<widget class="GtkVButtonBox" id="vbuttonbox1">

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

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

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">Homogen Global Theorem</property>

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

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

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

</widget>

</child>

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">Heterogen Global Theorem</property>

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

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

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

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">Homogen Local Theorem</property>

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

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

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

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">Heterogen Local Theorem</property>

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

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

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

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">Hiding Theorem</property>

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

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

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

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">(Co)Free Theorem</property>

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

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

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

</widget>

<packing>

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

</packing>

</child>

</widget>

</child>

</widget>

</child>

<child>

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

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

<property name="label" translatable="yes">&lt;b&gt;Theorem links proven&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="GtkFrame" id="frame3">

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

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

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

<child>

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

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

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

<child>

<widget class="GtkVButtonBox" id="vbuttonbox3">

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

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

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">Homogen Global Theorem</property>

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

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

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

</widget>

</child>

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">Heterogen Global Theorem</property>

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

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

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

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">Homogen Local Theorem</property>

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

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

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

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">Heterogen Local Theorem</property>

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

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

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

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">Hiding Theorem</property>

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

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

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

</widget>

<packing>

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

</packing>

</child>

<child>

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

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

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

<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>

<property name="label" translatable="yes">(Co)Free Theorem</property>

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

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

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

</widget>

<packing>

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

</packing>

</child>

</widget>

</child>

</widget>

</child>

<child>

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

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

<property name="label" translatable="yes">&lt;b&gt;Theorem links unproven&lt;/b&gt;</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">1</property>

</packing>

</child>

</widget>

</child>

<child>

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

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

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

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

<child>

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

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

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

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

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

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

</widget>

</child>

<child>

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

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

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

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

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

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

</widget>

<packing>

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

</packing>

</child>

</widget>

<packing>

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

</packing>

</child>

</widget>

</child>

</widget>

</glade-interface>