Matita GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False 800 600 True False True False False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True True False True False 0 True True _File True True _New True True gtk-new 1 0.5 0.5 0 0 True _Proof or definition ... True True (Co)Inductive _definitions ... True 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 True _Quit True True gtk-quit 1 0.5 0.5 0 0 True _Edit True True _View True True Show Button Bar True True True New Cic Browser True True Show Script Window True False True True Toggle console True True Debug True True True _Help True True About... True 0 False False True True 450 True True True True GTK_POS_TOP False False True False True True False True False 0 True False 0 True Hide console True GTK_RELIEF_NORMAL True True gtk-close 4 0.5 0.5 0 0 0 False False 0 False False True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT 0 True True True False 0 True True True True 0 False False Matita: current proof GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False 700 525 True False True False False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True True False True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT 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 True True True GTK_RELIEF_NORMAL True True True True GTK_RELIEF_NORMAL True 155 450 Tactics GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False False False True False False GDK_WINDOW_TYPE_HINT_TOOLBAR GDK_GRAVITY_NORTH_WEST True True False True False 0 True GTK_ORIENTATION_HORIZONTAL GTK_TOOLBAR_BOTH True True True True True False 50 True Intros True intros True GTK_RELIEF_NORMAL True False False True True True False 50 True Apply True apply True GTK_RELIEF_NORMAL True False False True True True False 50 True Exact True exact True GTK_RELIEF_NORMAL True False False 0 False False True GTK_ORIENTATION_HORIZONTAL GTK_TOOLBAR_BOTH True True True True True False 50 True Elim True elim True GTK_RELIEF_NORMAL True False False True True True False 50 True ElimType True elimTy True GTK_RELIEF_NORMAL True False False 0 False False True GTK_ORIENTATION_HORIZONTAL GTK_TOOLBAR_BOTH True True True True True False 50 True Split True split True GTK_RELIEF_NORMAL True False False True True True False 25 True Left True L True GTK_RELIEF_NORMAL True False False True True True False 25 True Right True R True GTK_RELIEF_NORMAL True False False True True True False 25 True Exists True ∃ True GTK_RELIEF_NORMAL True False False 0 False False True GTK_ORIENTATION_HORIZONTAL GTK_TOOLBAR_BOTH True True True True True False 50 True Reflexivity True refl True GTK_RELIEF_NORMAL True False False True True True False 50 True Symmetry True sym True GTK_RELIEF_NORMAL True False False True True True False 50 True Transitivity True trans True GTK_RELIEF_NORMAL True False False 0 False False True GTK_ORIENTATION_HORIZONTAL GTK_TOOLBAR_BOTH True True True True True False 50 True Simplify True simpl True GTK_RELIEF_NORMAL True False False True True True False 50 True Reduce True red True GTK_RELIEF_NORMAL True False False True True True False 50 True Whd True whd True GTK_RELIEF_NORMAL True False False 0 False False True GTK_ORIENTATION_HORIZONTAL GTK_TOOLBAR_BOTH True True True True True False 50 True Assumption True asum True GTK_RELIEF_NORMAL True False False True True True False 50 True Auto True auto True GTK_RELIEF_NORMAL True False False 0 False False True GTK_ORIENTATION_HORIZONTAL GTK_TOOLBAR_BOTH True True True True True False 50 True Cut True cut True GTK_RELIEF_NORMAL True False False True True True False 50 True Replace True repl True GTK_RELIEF_NORMAL True False False 0 False False DUMMY GTK_WINDOW_TOPLEVEL GTK_WIN_POS_CENTER True False False True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST 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 0 False False Matita: about GTK_WINDOW_TOPLEVEL GTK_WIN_POS_CENTER True False False True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True True False 0 True GTK_BUTTONBOX_END True True True gtk-ok True GTK_RELIEF_NORMAL True -5 0 False True GTK_PACK_END True <b>Matita @VERSION@</b> <tt>http://helm.cs.unibo.it</tt> Copyright (C) 2004, <i>the HELM team</i> False True GTK_JUSTIFY_CENTER False False 0.5 0.5 5 5 0 False False 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 True False 0 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 0 False False True False True True Try Constants 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 _Auto True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 0 False False 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 0 False False True True GTK_POLICY_ALWAYS GTK_POLICY_ALWAYS GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT True True False False False True 0 True True True False 0 True URI: False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 0 False False True True True True 0 True * False 0 True True 0 False True 0 True True 200 Interpretation choice GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE True True False True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True True False 0 True GTK_BUTTONBOX_END True True True gtk-help True GTK_RELIEF_NORMAL True -11 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 0 False False True True GTK_POLICY_ALWAYS GTK_POLICY_ALWAYS GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True False False False True 0 True True 0 True True 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 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 0 False False 300 200 Matita: check term GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False True False True False False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True True False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT Matita: script GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False 450 800 True False True False False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True True False True True True True GTK_POS_BOTTOM False False True False 0 True GTK_ORIENTATION_HORIZONTAL GTK_TOOLBAR_BOTH True True True True True False True go back 1 phrase True GTK_RELIEF_NORMAL True True gtk-go-back 4 0.5 0.5 0 0 False False True True True False True execute til cursor True GTK_RELIEF_NORMAL True True gtk-jump-to 4 0.5 0.5 0 0 False False True True True False True go forward 1 phrase True GTK_RELIEF_NORMAL True True gtk-go-forward 4 0.5 0.5 0 0 False False 0 False False True True GTK_POLICY_ALWAYS GTK_POLICY_ALWAYS GTK_SHADOW_NONE 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 False True True script False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 tab True True GTK_POLICY_ALWAYS GTK_POLICY_ALWAYS GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True False False False True False True True outline False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 tab DUMMY GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False True False True False False GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST 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 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 400 500 True Cic browser GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False True False True False False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True True False True False 0 True False 0 True True True GTK_RELIEF_NORMAL True True gtk-new 4 0.5 0.5 0 0 0 False False True True True GTK_RELIEF_NORMAL True True 0.5 0.5 0 0 0 0 0 0 True False 2 True gtk-go-back 4 0.5 0.5 0 0 0 False False True True False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 0 False False 0 False False True True True GTK_RELIEF_NORMAL True True gtk-go-forward 4 0.5 0.5 0 0 0 False False True True True GTK_RELIEF_NORMAL True True gtk-refresh 4 0.5 0.5 0 0 0 False False True True True GTK_RELIEF_NORMAL True True gtk-home 4 0.5 0.5 0 0 0 False False True gtk-jump-to 4 0.5 0.5 0 0 0 False True True True True True 0 True * False 0 True True 0 False True True 0 0 GTK_SHADOW_NONE True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT 0 True True