True Cic browser GTK_WINDOW_TOPLEVEL GTK_WIN_POS_CENTER_ON_PARENT False 500 500 True False True False False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True False True True False True False 0 True GTK_PACK_DIRECTION_LTR GTK_PACK_DIRECTION_LTR True _File True True gtk-new True True Open _Location ... True True True gtk-close True True _Edit True True gtk-copy True True _View True True _Metadata True True View the graph of objects on which the current one depends on (Direct) Dependencies True True View the graph of objects which depends on the current one (Inverse) Dependencies True True True HBugs Tutors True 0 False False True 0 0 GTK_SHADOW_NONE True False 0 True True GTK_RELIEF_NONE True True gtk-new 4 0.5 0.5 0 0 0 False False True True GTK_RELIEF_NONE True True gtk-go-back 4 0.5 0.5 0 0 0 False False True True GTK_RELIEF_NONE True True gtk-go-forward 4 0.5 0.5 0 0 0 False False True refresh True True GTK_RELIEF_NONE True True gtk-refresh 4 0.5 0.5 0 0 0 False False True home True True GTK_RELIEF_NONE True True gtk-home 4 0.5 0.5 0 0 0 False False True gtk-jump-to 2 0.5 0.5 0 0 3 False False True False 0 0 True True 0 False True 3 True False 6 True 0.5 0.5 0 0 0 False True True True True True 0 True * False 0 True True True False 0 True 0.5 0.5 1 1 0 0 0 0 0 False False 0 False True 0 False True True True True True GTK_POS_TOP False False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT False True True MathView False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True False False False True False False False False True True WhelpResults False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT True GTK_SHADOW_NONE True 0.5 0.5 0 0 False True True WhelpEasterEgg False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT False True True Graph False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab True False 0 True True GTK_POLICY_ALWAYS GTK_POLICY_ALWAYS GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT True True True False False True False False False 0 True True True GTK_ORIENTATION_HORIZONTAL GTK_TOOLBAR_BOTH True True True True True False True True gtk-refresh True GTK_RELIEF_NORMAL True False False True True True False True True gtk-remove True GTK_RELIEF_NORMAL True False False True True True False True True gtk-add True GTK_RELIEF_NORMAL True False False 0 False False False True True HBugs False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab 0 True True DUMMY GTK_WINDOW_TOPLEVEL GTK_WIN_POS_CENTER True False False True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True False True True False 0 True GTK_BUTTONBOX_END True True True gtk-cancel True GTK_RELIEF_NORMAL True -6 True True True gtk-ok True GTK_RELIEF_NORMAL True -5 0 False True GTK_PACK_END True DUMMY False False GTK_JUSTIFY_CENTER False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False True DUMMY GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False True False True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True False True True False 0 True GTK_BUTTONBOX_END True True True gtk-cancel True GTK_RELIEF_NORMAL True -6 True True True gtk-ok True GTK_RELIEF_NORMAL True -5 0 False True GTK_PACK_END True DUMMY False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False 10 Select File GTK_WINDOW_TOPLEVEL GTK_WIN_POS_CENTER True True False True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True False True True True True GTK_RELIEF_NORMAL True True True True GTK_RELIEF_NORMAL True Matita GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False True False True False False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True False True True False True False 0 True GTK_SHADOW_OUT GTK_POS_LEFT GTK_POS_TOP True GTK_PACK_DIRECTION_LTR GTK_PACK_DIRECTION_LTR True _File True True _New True True gtk-new 1 0.5 0.5 0 0 True _Open... True True gtk-open 1 0.5 0.5 0 0 True _Save True True gtk-save 1 0.5 0.5 0 0 True Save _As ... True True gtk-save-as 1 0.5 0.5 0 0 True _Developments... True True gtk-execute 1 0.5 0.5 0 0 True True _Quit True True gtk-quit 1 0.5 0.5 0 0 True _Edit True True False _Undo True True gtk-undo 1 0.5 0.5 0 0 True False _Redo True True gtk-redo 1 0.5 0.5 0 0 True True Cu_t True True gtk-cut 1 0.5 0.5 0 0 True _Copy True True gtk-copy 1 0.5 0.5 0 0 True _Paste True True gtk-paste 1 0.5 0.5 0 0 True Paste as pattern True True _Delete True True gtk-delete 1 0.5 0.5 0 0 True True Select _All True True True _Find & Replace ... True True gtk-find-and-replace 1 0.5 0.5 0 0 True True Next ligature True True Edit with E_xternal Editor True True _Script True True Execute 1 phrase True True Retract 1 phrase True True True Execute all True True Restart True True True Execute until cursor True True _View True True Show _Tactics Bar True True True New Cic _Browser True True True _Fullscreen True False True True Zoom _In True True gtk-zoom-in 1 0.5 0.5 0 0 True Zoom _Out True True gtk-zoom-out 1 0.5 0.5 0 0 True _Normal Size True True gtk-zoom-100 1 0.5 0.5 0 0 True _Debug True True True _Help True True _Contents True True gtk-help 1 0.5 0.5 0 0 True _About True True gtk-about 1 0.5 0.5 0 0 0 False False True False 0 True True True False 0 True GTK_SHADOW_OUT GTK_POS_TOP GTK_POS_TOP True 17 2 False 4 0 True Apply True apply True GTK_RELIEF_NORMAL True 1 2 0 1 fill True Intros True intro True GTK_RELIEF_NORMAL True 0 1 0 1 fill True Exact True exact True GTK_RELIEF_NORMAL True 0 1 2 3 fill True Elim True elim True GTK_RELIEF_NORMAL True 0 1 4 5 fill True Reflexivity True refl True GTK_RELIEF_NORMAL True 0 1 8 9 fill True Symmetry True sym True GTK_RELIEF_NORMAL True 1 2 8 9 fill True Transitivity True trans True GTK_RELIEF_NORMAL True 0 1 9 10 fill True Simplify True simpl True GTK_RELIEF_NORMAL True 0 1 11 12 fill True Reduce True red True GTK_RELIEF_NORMAL True 1 2 11 12 fill True Whd True whd True GTK_RELIEF_NORMAL True 0 1 12 13 fill True Assumption True assum True GTK_RELIEF_NORMAL True 0 1 14 15 fill True Auto True auto True GTK_RELIEF_NORMAL True 1 2 14 15 fill True Cut True cut True GTK_RELIEF_NORMAL True 0 1 16 17 fill True Replace True repl True GTK_RELIEF_NORMAL True 1 2 16 17 fill True ElimType True elimTy True GTK_RELIEF_NORMAL True 1 2 4 5 fill True True 0 True Right True R True GTK_RELIEF_NORMAL True 0 True True True Exists True ∃ True GTK_RELIEF_NORMAL True 0 True True 1 2 6 7 fill fill True True 0 True Split True ∧ True GTK_RELIEF_NORMAL True 0 True True True Left True L True GTK_RELIEF_NORMAL True 0 True True 0 1 6 7 fill fill True 0.5 0.5 1 1 0 0 0 0 0 1 1 2 fill True 0.5 0.5 1 1 0 0 0 0 0 1 3 4 fill True 0.5 0.5 1 1 0 0 0 0 0 1 5 6 fill True 0.5 0.5 1 1 0 0 0 0 0 1 7 8 fill True 0.5 0.5 1 1 0 0 0 0 0 1 10 11 fill True 0.5 0.5 1 1 0 0 0 0 0 1 13 14 fill True 0.5 0.5 1 1 0 0 0 0 0 1 15 16 fill 0 False True 400 True False 0 True False 0 True GTK_ORIENTATION_HORIZONTAL GTK_TOOLBAR_BOTH True True True True True False True Restart True GTK_RELIEF_NONE True True gtk-goto-top 4 0.5 0.5 0 0 False False True True True False True Retract 1 phrase True GTK_RELIEF_NONE True True gtk-go-up 4 0.5 0.5 0 0 False False True True True False True Execute until point True GTK_RELIEF_NONE True True gtk-jump-to 4 0.5 0.5 0 0 False False True True True False True Execute 1 phrase True GTK_RELIEF_NONE True True gtk-go-down 4 0.5 0.5 0 0 False False True True True False True Execute all True GTK_RELIEF_NONE True True gtk-goto-bottom 4 0.5 0.5 0 0 False False 0 True True True GTK_ORIENTATION_VERTICAL GTK_TOOLBAR_ICONS True True True True True False True True GTK_RELIEF_NONE True True gtk-stop 4 0.5 0.5 0 0 False False 0 False True 0 False False True True True True GTK_POS_BOTTOM False False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT False True True script False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT True GTK_SHADOW_IN True Not implemented. False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 False True True outline False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab 0 True True 0 True True True False 250 500 True True 380 True True True True GTK_POS_TOP False False True False True False 0 True True GTK_POLICY_NEVER GTK_POLICY_ALWAYS GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True False False True GTK_JUSTIFY_LEFT GTK_WRAP_CHAR False 0 0 0 0 0 0 0 True True True True True True 0 True True 0 True True True False 0 True False 0 True True True False True GTK_POS_TOP False False True 0.5 0.5 0 0 False True True label14 False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab True 0.5 0.5 0 0 False True True label15 False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab True 0.5 0.5 0 0 False True True label16 False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 tab 0 False True 0 False False DUMMY GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False True False True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True False True True False 0 True GTK_BUTTONBOX_END True True True gtk-cancel True GTK_RELIEF_NORMAL True -6 True True True gtk-ok True GTK_RELIEF_NORMAL True -5 0 False True GTK_PACK_END True DUMMY False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True True False True GTK_JUSTIFY_LEFT GTK_WRAP_NONE True 0 0 0 0 0 0 0 True True 280 Uri choice GTK_WINDOW_TOPLEVEL GTK_WIN_POS_CENTER True True False True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True False True True False 4 True GTK_BUTTONBOX_END True True True gtk-cancel True GTK_RELIEF_NORMAL True -6 True True True GTK_RELIEF_NORMAL True 0 True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-index 4 0.5 0.5 0 0 0 False False True Try _Selected True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False True False True True Try Constants True GTK_RELIEF_NORMAL True 0 True True gtk-copy True GTK_RELIEF_NORMAL True 0 True True True GTK_RELIEF_NORMAL True 0 True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-ok 4 0.5 0.5 0 0 0 False False True bla bla bla True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False True True True gtk-go-forward True GTK_RELIEF_NORMAL True 0 0 False True GTK_PACK_END True False 3 True some informative message here ... False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False 400 True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT True True False False False True False False False 0 True True True False 0 True URI: False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False True True True True 0 True * False 0 True True 0 False True 0 True True 5 Find & Replace GTK_WINDOW_TOPLEVEL GTK_WIN_POS_MOUSE False False False True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True False True 3 2 False 5 0 True Find: False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 1 0 1 fill True Replace with: False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 1 1 2 fill True True True True True True True 0 True * False 1 2 0 1 True True True True 0 True * False 1 2 1 2 True False 5 True False 0 0 True True True True gtk-find True GTK_RELIEF_NORMAL True 0 False False True True GTK_RELIEF_NORMAL True True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-find-and-replace 4 0.5 0.5 0 0 0 False False True _Replace True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False 0 False False True True gtk-cancel True GTK_RELIEF_NORMAL True 0 False False 0 2 2 3 5 Create development GTK_WINDOW_TOPLEVEL GTK_WIN_POS_CENTER_ALWAYS True False False True False False GDK_WINDOW_TYPE_HINT_UTILITY GDK_GRAVITY_NORTH_WEST True False True False 0 3 True 2 3 False 5 5 True Name False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 1 0 1 fill True Root directory False False GTK_JUSTIFY_LEFT False False 0 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 1 1 2 fill True True True True 0 True * False 1 2 0 1 True True True True 0 True * False 1 2 1 2 True True ... True GTK_RELIEF_NORMAL True 2 3 1 2 fill 0 False True True 2 False True 3 True False 5 True False 0 0 True True True True gtk-add True GTK_RELIEF_NORMAL True 0 False False True True gtk-cancel True GTK_RELIEF_NORMAL True 0 False False 0 False True Developments GTK_WINDOW_TOPLEVEL GTK_WIN_POS_CENTER False True False True False False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True False True False 0 True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True False False False True False False False 0 True True True 2 False True 3 True False 4 True False 0 0 True True True True gtk-new True GTK_RELIEF_NORMAL True 0 False False True True gtk-delete True GTK_RELIEF_NORMAL True 0 False False True True GTK_RELIEF_NORMAL True True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-execute 4 0.5 0.5 0 0 0 False False True _Build True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False 0 False False True True GTK_RELIEF_NORMAL True True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-clear 4 0.5 0.5 0 0 0 False False True C_lean True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False 0 False False True True GTK_RELIEF_NORMAL True True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-convert 4 0.5 0.5 0 0 0 False False True Publish True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False 0 False False True True GTK_RELIEF_NORMAL True True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-zoom-fit 4 0.5 0.5 0 0 0 False False True Graph True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False 0 False False True True gtk-close True GTK_RELIEF_NORMAL True 0 False False 0 False True True window1 GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False True False True False False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True False True False 0 True GTK_ORIENTATION_HORIZONTAL GTK_TOOLBAR_BOTH True True True True True False True Restart True GTK_RELIEF_NONE True True gtk-goto-top 4 0.5 0.5 0 0 False False True True True False True Retract 1 phrase True GTK_RELIEF_NONE True True gtk-go-up 4 0.5 0.5 0 0 False False True True True False True Execute until point True GTK_RELIEF_NONE True True gtk-jump-to 4 0.5 0.5 0 0 False False True True True False True Execute 1 phrase True GTK_RELIEF_NONE True True gtk-go-down 4 0.5 0.5 0 0 False False True True True False True Execute all True GTK_RELIEF_NONE True True gtk-goto-bottom 4 0.5 0.5 0 0 False False 0 True True True gtk-cancel 4 0.5 0.5 0 0 0 False False 450 400 title GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE True True False True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True False True True False 0 True GTK_BUTTONBOX_END True True True gtk-help True GTK_RELIEF_NORMAL True -11 True True True GTK_RELIEF_NORMAL True -6 True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-zoom-in 4 0.5 0.5 0 0 0 False False True More True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False True True True True gtk-cancel True GTK_RELIEF_NORMAL True -6 True True True gtk-ok True GTK_RELIEF_NORMAL True -5 0 False True GTK_PACK_END True False 0 True some informative message here ... False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 PANGO_ELLIPSIZE_NONE -1 False 0 0 False False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True False False False True False False False 0 True True 0 True True