definition
- sttfa:bool__cases/type_0.def
- sttfa:bool__cases/type_1.def
- sttfa:bool__cases/type_2.def
- sttfa:bool__cases/term_0.def
- sttfa:bool__cases/type_3.def
- sttfa:bool__cases/term_1.def
- sttfa:bool__cases/term_2.def
- sttfa:bool__cases/term_3.def
- sttfa:bool__cases/term_4.def
- sttfa:bool__cases/term_5.def
- sttfa:bool__cases/term_6.def
- sttfa:bool__cases/term_7.def
- sttfa:bool__cases/term_8.def
- sttfa:bool__cases/term_9.def
- sttfa:bool__cases/term_10.def
- sttfa:bool__cases/term_11.def
- sttfa:bool__cases/term_12.def
- sttfa:bool__cases/term_13.def
- sttfa:bool__cases/term_14.def
- sttfa:bool__cases/term_15.def
- sttfa:bool__cases/term_16.def
- sttfa:bool__cases/term_17.def
- sttfa:bool__cases/term_18.def
- sttfa:bool__cases/term_19.def
- sttfa:bool__cases/term_20.def
- sttfa:bool__cases/term_21.def
- sttfa:bool__cases/term_22.def
- sttfa:bool__cases/term_23.def
- sttfa:bool__cases/term_24.def
- sttfa:bool__cases/term_25.def
- sttfa:bool__cases/term_26.def
- sttfa:bool__cases/term_27.def
- sttfa:bool__cases/term_28.def
- sttfa:bool__cases/term_29.def
- sttfa:bool__cases/term_30.def
- sttfa:bool__cases/term_31.def
- sttfa:bool__cases/term_32.def
- sttfa:bool__cases/term_33.def
- sttfa:bool__cases/term_34.def
- sttfa:bool__cases/term_35.def
- sttfa:bool__cases/term_36.def
- sttfa:bool__cases/term_37.def
- sttfa:bool__cases/term_38.def
- sttfa:bool__cases/term_39.def
- sttfa:bool__cases/term_40.def
- sttfa:bool__cases/term_41.def
- sttfa:bool__cases/term_42.def
- sttfa:bool__cases/term_43.def
- sttfa:bool__cases/term_44.def
- sttfa:bool__cases/term_45.def
- sttfa:bool__cases/term_46.def
- sttfa:bool__cases/term_47.def
- sttfa:bool__cases/term_48.def
- sttfa:bool__cases/term_49.def
- sttfa:bool__cases/term_50.def
- sttfa:bool__cases/term_51.def
- sttfa:bool__cases/term_52.def
- sttfa:bool__cases/term_53.def
- sttfa:bool__cases/term_54.def
- sttfa:bool__cases/term_55.def
- sttfa:bool__cases/term_56.def
- sttfa:bool__cases/term_57.def
- sttfa:bool__cases/term_58.def
- sttfa:bool__cases/term_59.def
- sttfa:bool__cases/term_60.def
- sttfa:bool__cases/term_61.def
- sttfa:bool__cases/term_62.def
- sttfa:bool__cases/term_63.def
- sttfa:bool__cases/term_64.def
- sttfa:bool__cases/term_65.def
- sttfa:bool__cases/term_66.def
- sttfa:bool__cases/term_67.def
- sttfa:bool__cases/term_68.def
- sttfa:bool__cases/term_69.def
- sttfa:bool__cases/term_70.def
- sttfa:bool__cases/term_71.def
- sttfa:bool__cases/term_72.def
- sttfa:bool__cases/term_73.def
- sttfa:bool__cases/term_74.def
- sttfa:bool__cases/term_75.def
- sttfa:bool__cases/term_76.def
- sttfa:bool__cases/term_77.def
- sttfa:bool__cases/term_78.def
- sttfa:bool__cases/term_79.def
- sttfa:bool__cases/term_80.def
- sttfa:bool__cases/term_81.def
- sttfa:bool__cases/term_82.def
- sttfa:bool__cases/term_83.def
- sttfa:bool__cases/term_84.def
- sttfa:bool__cases/term_85.def
- sttfa:bool__cases/term_86.def
- sttfa:bool__cases/term_87.def
- sttfa:bool__cases/term_88.def
- sttfa:bool__cases/term_89.def
- sttfa:bool__cases/term_90.def
- sttfa:bool__cases/type_4.def
- sttfa:bool__cases/term_91.def
- sttfa:bool__cases/term_92.def
- sttfa:bool__cases/term_93.def
- sttfa:bool__cases/term_94.def
theorem
- sttfa:bool__cases/thm_0.thm
- sttfa:bool__cases/thm_1.thm
- sttfa:bool__cases/thm_2.thm
- sttfa:bool__cases/thm_3.thm
- sttfa:bool__cases/EXCLUDED_MIDDLE.thm
- sttfa:bool__cases/thm_5.thm
- sttfa:bool__cases/thm_6.thm
- sttfa:bool__cases/thm_7.thm
- sttfa:bool__cases/thm_8.thm
- sttfa:bool__cases/EQ_CLAUSES.thm
- sttfa:bool__cases/thm_10.thm
- sttfa:bool__cases/thm_11.thm
- sttfa:bool__cases/thm_12.thm
- sttfa:bool__cases/thm_13.thm
- sttfa:bool__cases/thm_14.thm
- sttfa:bool__cases/thm_15.thm
- sttfa:bool__cases/thm_16.thm
- sttfa:bool__cases/thm_17.thm
- sttfa:bool__cases/TRUTH.thm
- sttfa:bool__cases/thm_19.thm
- sttfa:bool__cases/thm_20.thm
- sttfa:bool__cases/thm_21.thm
- sttfa:bool__cases/thm_22.thm
- sttfa:bool__cases/thm_23.thm
- sttfa:bool__cases/thm_24.thm
- sttfa:bool__cases/thm_25.thm
- sttfa:bool__cases/thm_26.thm
- sttfa:bool__cases/thm_27.thm
- sttfa:bool__cases/thm_28.thm
- sttfa:bool__cases/thm_29.thm
- sttfa:bool__cases/thm_30.thm
- sttfa:bool__cases/thm_31.thm
- sttfa:bool__cases/thm_32.thm
- sttfa:bool__cases/thm_33.thm
- sttfa:bool__cases/thm_34.thm
- sttfa:bool__cases/thm_35.thm
- sttfa:bool__cases/thm_36.thm
- sttfa:bool__cases/NOT_CLAUSES_WEAK.thm
- sttfa:bool__cases/thm_38.thm
- sttfa:bool__cases/thm_39.thm
- sttfa:bool__cases/thm_40.thm
- sttfa:bool__cases/thm_41.thm
- sttfa:bool__cases/thm_42.thm
- sttfa:bool__cases/thm_43.thm
- sttfa:bool__cases/thm_44.thm
- sttfa:bool__cases/OR_CLAUSES.thm
- sttfa:bool__cases/thm_46.thm
- sttfa:bool__cases/thm_47.thm
- sttfa:bool__cases/thm_48.thm
- sttfa:bool__cases/thm_49.thm
- sttfa:bool__cases/thm_50.thm
- sttfa:bool__cases/thm_51.thm
- sttfa:bool__cases/thm_52.thm
- sttfa:bool__cases/thm_53.thm
- sttfa:bool__cases/thm_54.thm
- sttfa:bool__cases/thm_55.thm
- sttfa:bool__cases/thm_56.thm
- sttfa:bool__cases/thm_57.thm
- sttfa:bool__cases/thm_58.thm
- sttfa:bool__cases/thm_59.thm
- sttfa:bool__cases/thm_60.thm
- sttfa:bool__cases/thm_61.thm
- sttfa:bool__cases/thm_62.thm
- sttfa:bool__cases/thm_63.thm
- sttfa:bool__cases/thm_64.thm
- sttfa:bool__cases/thm_65.thm
- sttfa:bool__cases/thm_66.thm
- sttfa:bool__cases/thm_67.thm
- sttfa:bool__cases/thm_68.thm
- sttfa:bool__cases/thm_69.thm
- sttfa:bool__cases/thm_70.thm
- sttfa:bool__cases/thm_71.thm
- sttfa:bool__cases/thm_72.thm
- sttfa:bool__cases/thm_73.thm
- sttfa:bool__cases/thm_74.thm
- sttfa:bool__cases/thm_75.thm
- sttfa:bool__cases/thm_76.thm
- sttfa:bool__cases/thm_77.thm
- sttfa:bool__cases/thm_78.thm
- sttfa:bool__cases/thm_79.thm
- sttfa:bool__cases/thm_80.thm
- sttfa:bool__cases/thm_81.thm
- sttfa:bool__cases/thm_82.thm
- sttfa:bool__cases/thm_83.thm
- sttfa:bool__cases/thm_84.thm
- sttfa:bool__cases/NOT_DEF.thm
- sttfa:bool__cases/thm_86.thm
- sttfa:bool__cases/thm_87.thm
- sttfa:bool__cases/thm_88.thm
- sttfa:bool__cases/thm_89.thm
- sttfa:bool__cases/thm_90.thm
- sttfa:bool__cases/thm_91.thm
- sttfa:bool__cases/thm_92.thm
- sttfa:bool__cases/thm_93.thm
- sttfa:bool__cases/thm_94.thm
- sttfa:bool__cases/thm_95.thm
- sttfa:bool__cases/thm_96.thm
- sttfa:bool__cases/thm_97.thm
- sttfa:bool__cases/thm_98.thm
- sttfa:bool__cases/thm_99.thm
- sttfa:bool__cases/thm_100.thm
- sttfa:bool__cases/thm_101.thm
- sttfa:bool__cases/thm_102.thm
- sttfa:bool__cases/thm_103.thm
- sttfa:bool__cases/thm_104.thm
- sttfa:bool__cases/thm_105.thm
- sttfa:bool__cases/thm_106.thm
- sttfa:bool__cases/thm_107.thm
- sttfa:bool__cases/thm_108.thm
- sttfa:bool__cases/thm_109.thm
- sttfa:bool__cases/thm_110.thm
- sttfa:bool__cases/thm_111.thm
- sttfa:bool__cases/thm_112.thm
- sttfa:bool__cases/thm_113.thm
- sttfa:bool__cases/thm_114.thm
- sttfa:bool__cases/thm_115.thm
- sttfa:bool__cases/thm_116.thm
- sttfa:bool__cases/thm_117.thm
- sttfa:bool__cases/thm_118.thm
- sttfa:bool__cases/thm_119.thm
- sttfa:bool__cases/thm_120.thm
- sttfa:bool__cases/BOOL_CASES_AX.thm