True 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 Show Proof Window True False True Show Check Window True False True Show Script Window True False True Debug True True True _Help True True About... True 0 False False True True 450 True GTK_POLICY_ALWAYS GTK_POLICY_ALWAYS GTK_SHADOW_NONE GTK_CORNER_TOP_LEFT True GTK_SHADOW_IN True True True True GTK_POS_TOP False False True False True True False True GTK_POLICY_NEVER GTK_POLICY_ALWAYS GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True 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_ALWAYS GTK_POLICY_ALWAYS GTK_SHADOW_NONE 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 150 450 True Tactics GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False False False True False False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST True True False True False 0 True GTK_ORIENTATION_HORIZONTAL GTK_TOOLBAR_BOTH True True True True True False True Intros True intros True GTK_RELIEF_NORMAL True False False True True True False True Apply True apply True GTK_RELIEF_NORMAL True False False True True True False 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 True Elim True elim True GTK_RELIEF_NORMAL True False False True True True False 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 True Split True split True GTK_RELIEF_NORMAL True False False True True True False True Left True left True GTK_RELIEF_NORMAL True False False True True True False True Right True right True GTK_RELIEF_NORMAL True False False True True True False 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 True Reflexivity True refl True GTK_RELIEF_NORMAL True False False True True True False True Symmetry True sym True GTK_RELIEF_NORMAL True False False True True True False 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 True Assumption True assum True GTK_RELIEF_NORMAL True False False True True True False True Search True search True GTK_RELIEF_NORMAL True False False True True True False 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 True Cut True cut True GTK_RELIEF_NORMAL True False False True True True False 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_ALWAYS GTK_POLICY_ALWAYS GTK_SHADOW_NONE 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