True Cic browser GTK_WIN_POS_CENTER_ON_PARENT 500 500 True True True True _File True True gtk-new True True True Open _Location ... True True True gtk-close True True True _Edit True True gtk-copy True 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 False False True 0 0 GTK_SHADOW_NONE True True True GTK_RELIEF_NONE 0 True gtk-new False False True True GTK_RELIEF_NONE 0 True gtk-go-back False False 1 True True GTK_RELIEF_NONE 0 True gtk-go-forward False False 2 True True True refresh GTK_RELIEF_NONE 0 True gtk-refresh False False 3 True True True home GTK_RELIEF_NONE 0 True gtk-home False False 4 True gtk-jump-to 2 False False 3 5 True 6 False 1 True 3 6 True gtk-missing-image False True True * 1 True True False False False 2 False 2 True True True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC False True MathView tab False False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN True True False 1 False True WhelpResults tab 1 False False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC True GTK_SHADOW_NONE True gtk-missing-image 2 False True WhelpEasterEgg tab 2 False False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC 3 False True Graph tab 3 False False True True True True True True GTK_TOOLBAR_BOTH True True True gtk-refresh True 0 False False True True True gtk-remove True 0 False False True True True gtk-add True 0 False False False False 1 4 False True HBugs tab 4 False False 3 DUMMY False True GTK_WIN_POS_CENTER GDK_WINDOW_TYPE_HINT_DIALOG True True DUMMY GTK_JUSTIFY_CENTER False False 2 True GTK_BUTTONBOX_END True True True gtk-cancel True -6 True True True gtk-ok True -5 1 False GTK_PACK_END True DUMMY GDK_WINDOW_TYPE_HINT_DIALOG True True DUMMY False False 2 True GTK_BUTTONBOX_END True True True gtk-cancel True -6 True True True gtk-ok True -5 1 False GTK_PACK_END 10 Select File True GTK_WIN_POS_CENTER GDK_WINDOW_TYPE_HINT_DIALOG True True True True 0 True True True 0 Matita True True True GTK_SHADOW_OUT True True _File True True _New True True gtk-new 1 True _Open... True True gtk-open 1 True _Save True True gtk-save 1 True Save _as ... True True gtk-save-as 1 True True _Quit True True gtk-quit 1 True _Edit True True False _Undo True True gtk-undo 1 True False _Redo True True gtk-redo 1 True True Cu_t True True gtk-cut 1 True _Copy True True gtk-copy 1 True _Paste True True gtk-paste 1 True Paste as pattern True True Paste Unicode as TeX True False True _Delete True True gtk-delete 1 True True Select _All True True True _Find & replace ... True True gtk-find-and-replace 1 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 True True Zoom _in True True gtk-zoom-in 1 True Zoom _out True True gtk-zoom-out 1 True _Normal size True True gtk-zoom-100 1 True True Pretty print notation True True True Hide coercions True True True True Displays the graph of coercions Coercions Graph True True Displays a window helpful to drive automation Auto GUI True gtk-media-pause True _Debug True True True _Help True True _Contents True True gtk-help 1 True _About True True gtk-about 1 False False True True True True True GTK_SHADOW_OUT GTK_POS_TOP True 17 2 4 True 15 16 GTK_FILL True 13 14 GTK_FILL True 10 11 GTK_FILL True 7 8 GTK_FILL True 5 6 GTK_FILL True 3 4 GTK_FILL True 1 2 GTK_FILL True True True True Split ∧ True 0 True True Left L True 0 1 6 7 GTK_FILL GTK_FILL True True True True Right R True 0 True True Exists ∃ True 0 1 1 2 6 7 GTK_FILL GTK_FILL True True ElimType elimTy True 0 1 2 4 5 GTK_FILL True True Replace repl True 0 1 2 16 17 GTK_FILL True True Cut cut True 0 16 17 GTK_FILL True True Auto auto True 0 1 2 14 15 GTK_FILL True True Assumption assum True 0 14 15 GTK_FILL True True Whd whd True 0 12 13 GTK_FILL True True Reduce red True 0 1 2 11 12 GTK_FILL True True Simplify simpl True 0 11 12 GTK_FILL True True Transitivity trans True 0 9 10 GTK_FILL True True Symmetry sym True 0 1 2 8 9 GTK_FILL True True Reflexivity refl True 0 8 9 GTK_FILL True True Elim elim True 0 4 5 GTK_FILL True True Exact exact True 0 2 3 GTK_FILL True True Intros intro True 0 GTK_FILL True True Apply apply True 0 1 2 GTK_FILL False 400 True True True GTK_TOOLBAR_BOTH True True True Restart GTK_RELIEF_NONE 0 True gtk-goto-top False False True True True Retract 1 phrase GTK_RELIEF_NONE 0 True gtk-go-up False False True True True Execute until point GTK_RELIEF_NONE 0 True gtk-jump-to False False True True True Execute 1 phrase GTK_RELIEF_NONE 0 True gtk-go-down False False True True True Execute all GTK_RELIEF_NONE 0 True gtk-goto-bottom False False True GTK_ORIENTATION_VERTICAL True True True GTK_RELIEF_NONE 0 True gtk-stop False False False 1 False False True True GTK_POS_BOTTOM True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC False True script tab False False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC True True Not implemented. 1 False True outline tab 1 False False 1 1 False True 250 500 True True 380 True True False True True True True GTK_POLICY_NEVER GTK_SHADOW_IN True True False GTK_WRAP_CHAR False True True True True 1 True True False True False True gtk-missing-image False True label14 tab False False True gtk-missing-image 1 False True label15 tab 1 False False True gtk-missing-image 2 False True label16 tab 2 False False False 1 False False 2 DUMMY GDK_WINDOW_TYPE_HINT_DIALOG True True DUMMY False False 2 True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN True True 3 True GTK_BUTTONBOX_END True True True gtk-cancel True -6 True True True gtk-ok True -5 1 False GTK_PACK_END 280 Uri choice True GTK_WIN_POS_CENTER GDK_WINDOW_TYPE_HINT_DIALOG True 4 True 3 True some informative message here ... False False 400 True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC True True False 1 True True URI: False False True True * 1 False 2 2 True GTK_BUTTONBOX_END True True True gtk-cancel True -6 True True True 0 True 0 0 True 2 True gtk-index False False True Try _Selected True False False 1 1 True False True True Try Constants True 0 2 True True gtk-copy True 0 3 True True True 0 True 0 0 True 2 True gtk-ok False False True bla bla bla True False False 1 4 True True True gtk-go-forward True 0 5 False GTK_PACK_END 5 Find & Replace False GTK_WIN_POS_MOUSE GDK_WINDOW_TYPE_HINT_DIALOG True 3 2 5 True 5 True True True gtk-find True 0 False False 1 True True 0 True 0 0 True 2 True gtk-find-and-replace False False True _Replace True False False 1 False False 2 True True gtk-cancel True 0 False False 3 2 2 3 5 True True * 1 2 1 2 True True True True True * 1 2 True 0 Replace with: 1 2 GTK_FILL True 0 Find: GTK_FILL 450 400 title True GDK_WINDOW_TYPE_HINT_DIALOG True True True some informative message here ... False False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN True True False 1 2 True GTK_BUTTONBOX_END True True True gtk-help True -11 True True True -6 True 0 0 True 2 True gtk-zoom-in False False True More True False False 1 1 True True True True gtk-cancel True -6 2 True True True gtk-ok True -5 3 False GTK_PACK_END 600 400 True Auto GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_SOUTH_EAST True True 2 True True GTK_POLICY_AUTOMATIC GTK_SHADOW_IN True True 3 3 True True True 0 True 0 0 True 2 True gtk-go-up False False True True False False 1 True True 0 True gtk-go-down 1 False False 1 True False 3 1 True True 0 Last: True 4 4 GTK_BUTTONBOX_END True True True gtk-media-pause True 0 True True True gtk-media-play True 0 1 True True True gtk-media-next True 0 2 True True True gtk-close True 0 3 1 False 2