500 480 True Cic browser center-on-parent 500 480 True True True vertical True True _File True gtk-new True True True True Open _Location ... True True gtk-close True True True True _Edit True gtk-copy True True True False False 0 True 0 0 none True True True False none True gtk-new False False 0 True True False none True gtk-go-back False False 1 True True False none True gtk-go-forward False False 2 True True True False refresh none True gtk-refresh False False 3 True True True False home none True gtk-home False False 4 True gtk-jump-to 2 False False 3 5 True True True True ● 0 6 False 1 True True True True automatic automatic True MathView False tab True True automatic automatic in True True False 1 True WhelpResult 1 False tab True True automatic automatic True none True gtk-missing-image 2 True WhelpEasterEgg 2 False tab True True automatic automatic 3 True Graph 3 False tab True vertical True True 3 automatic automatic in 0 True 4 4 True vertical 0 True True True 1 True True False True 0 0 True 2 True gtk-find False False 0 True Search True False False 1 False False 2 False 1 4 True SearchText 4 False tab 3 DUMMY False True center dialog True vertical True DUMMY center False False 2 True end gtk-cancel -6 True True True False True False False 0 gtk-ok -5 True True True False True False False 1 False end 0 True DUMMY dialog True vertical True DUMMY False False 2 True end gtk-cancel -6 True True True False True False False 0 gtk-ok -5 True True True False True False False 1 False end 0 10 Select File True center dialog True True True False True True True False Matita True True vertical True True True _File True gtk-new True True True gtk-open True True True gtk-save True True True gtk-save-as True True True True gtk-close True True True gtk-quit True True True True _Edit True gtk-undo True False True True gtk-redo True False True True True gtk-cut True True True gtk-copy True True True gtk-paste True True True 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 gtk-delete True True True True True Select _All True True gtk-find-and-replace True True True True True Next ligature True True Edit with e_xternal editor True True _Script True gtk-go-down True True True gtk-go-up True True True True gtk-goto-bottom True True True gtk-goto-top True True True True gtk-jump-to True True 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 gtk-zoom-in True True True gtk-zoom-out True True True gtk-zoom-100 True True True 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 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 _Debug True True True _Help True gtk-help True True True gtk-about True True True False False 0 True True True True 2 True top True vertical True True True vertical True True True True Implication (⇒_i) True 0 True True True True Conjunction (∧_i) True 1 True True True True Disjunction left (∨_i-l) True 2 True True True True Disjunction right (∨_i-r) True 3 True True True True Negation (¬_i) True 4 True True True True Top (⊤_i) True 5 True True True True Universal (∀_i) True 6 True True True True Existential (∃_i) True 7 True Introduction rules label_item False 0 True True True vertical True True True True Implication (⇒_e) True 0 True True True True Conjunction left (∧_e-l) True 1 True True True True Conjunction right (∧_e-r) True 2 True True True True Disjunction (∨_e) True 3 True True True True Negation (¬_e) True 4 True True True True Bottom (⊥_e) True 5 True True True True Universal (∀_e) True 6 True True True True Existential (∃_e) True 7 True Elimination rules label_item False 1 True True True vertical Reduction to Absurdity (RAA) True True True 0 Use lemma (lem) True True True 1 Discharge (discharge) True True True 2 True Misc rules label_item False 2 False 0 400 True vertical True True both True True True False Restart none True gtk-goto-top False True True True False Retract 1 phrase none True gtk-go-up False True True True False Execute until point none True gtk-jump-to False True True True False Execute 1 phrase none True gtk-go-down False True True True False Execute all none True gtk-goto-bottom False 0 True vertical both True True True False none True gtk-stop False False 1 False False 0 True True True tab tab 1 1 False True 250 500 True True 380 True True True False True True True True never in True True False char False 0 True True True True 0 1 True True False 0 True False True gtk-missing-image True label14 False tab True gtk-missing-image 1 True label15 1 False tab True gtk-missing-image 2 True label16 2 False tab False 1 False False 2 DUMMY dialog True vertical True DUMMY False False 2 True True automatic automatic in True True 3 True end gtk-cancel -6 True True True False True False False 0 gtk-ok -5 True True True False True False False 1 False end 0 280 Uri choice True center dialog True vertical 4 True vertical 3 True some informative message here ... False False 0 400 True True automatic automatic True True False 1 True True URI: False False 0 True True 1 False 2 2 True end gtk-cancel -6 True True True False True False False 0 True True True False True 0 0 True 2 True gtk-index False False 0 True Try _Selected True False False 1 False False 1 Try Constants True False True True False True False False 2 gtk-copy True True False True False False 3 True True True False True 0 0 True 2 True gtk-ok False False 0 True bla bla bla True False False 1 False False 4 gtk-go-forward True True True False True False False 5 False end 0 5 Find & Replace False mouse 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 vertical 0 gtk-find True True False True False False 1 True True False True 0 0 True 2 True gtk-find-and-replace False False 0 True _Replace True False False 1 False False 2 gtk-cancel True True False True False False 3 2 2 3 5 450 400 title True dialog True vertical True vertical True some informative message here ... False False 0 True True automatic automatic in True True False 1 2 True end gtk-help -11 True True True False True False False 0 -6 True True True False True 0 0 True 2 True gtk-zoom-in False False 0 True More True False False 1 False False 1 gtk-cancel -6 True True True True False True False False 2 gtk-ok -5 True True True False True False False 3 False end 0 600 400 True Auto dialog south-east True vertical True 2 True True automatic in True True 3 3 0 True vertical True True False True 0 0 True 2 True gtk-go-up False False 0 True True False False 1 0 True True False True gtk-go-down 1 False False 1 0 True False 3 1 True True 0 Last: 0 True 4 4 end gtk-media-pause True True True False True False False 0 gtk-media-play True True True False True False False 1 gtk-media-next True True True False True False False 2 gtk-close True True True False True False False 3 1 False 2