500 480 True Cic browser GTK_WIN_POS_CENTER_ON_PARENT 500 480 True 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 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 Universes 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 True MathView tab False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN True True False 1 True WhelpResults tab 1 False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC True GTK_SHADOW_NONE True gtk-missing-image 2 True WhelpEasterEgg tab 2 False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC 3 True Graph tab 3 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 True HBugs tab 4 False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC True True 5 True Universes tab 5 False True True True 3 GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN True 4 4 True True True True 1 True True 0 True 0 0 True 2 True gtk-find False False True Search True False False 1 False False 2 False 1 6 True SearchText tab 6 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 True Automatically expands TeX macros to their corresponding UTF-8 symbol Auto-expand TeX Macros True True 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 New CIC _browser True True True _Fullscreen True True Shows a palette with natural deduction rules Natural deduction palette 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 the database of hints Hints database True True Displays a window helpful to drive automation Auto GUI True gtk-media-pause True Displays the terms grammar as extended by the user Terms grammar True True Show the conversion table from TeX like sequences to UTF-8 TeX/UTF-8 table True True gtk-select-font 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 2 True GTK_SHADOW_OUT GTK_POS_TOP True True True True True True True 0 True Implication (⇒_i) True True True True 0 True Conjunction (∧_i) True 1 True True True 0 True Disjunction left (∨_i-l) True 2 True True True 0 True Disjunction right (∨_i-r) True 3 True True True 0 True Negation (¬_i) True 4 True True True 0 True Top (⊤_i) True 5 True True True 0 True Universal (∀_i) True 6 True True True 0 True Existential (∃_i) True 7 True Introduction rules label_item False True True True True True True 0 True Implication (⇒_e) True True True True 0 True Conjunction left (∧_e-l) True 1 True True True 0 True Conjunction right (∧_e-r) True 2 True True True 0 True Disjunction (∨_e) True 3 True True True 0 True Negation (¬_e) True 4 True True True 0 True Bottom (⊥_e) True 5 True True True 0 True Universal (∀_e) True 6 True True True 0 True Existential (∃_e) True 7 True Elimination rules label_item False 1 True True True True True True Reduction to Absurdity (RAA) 0 True True True Use lemma (lem) 0 1 True True True Discharge (discharge) 0 2 True Misc rules label_item False 2 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 GTK_TOOLBAR_BOTH 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 True script tab False True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC True True Not implemented. 1 True outline tab 1 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 True label14 tab False True gtk-missing-image 1 True label15 tab 1 False True gtk-missing-image 2 True label16 tab 2 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 0 Find: True 0 Replace with: 1 2 True True True True True * 1 2 True True * 1 2 1 2 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 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