:: PBOOLE semantic presentation
theorem Th1: :: PBOOLE:1
theorem Th2: :: PBOOLE:2
:: deftheorem Def1 PBOOLE:def 1 :
canceled;
:: deftheorem Def2 PBOOLE:def 2 :
canceled;
:: deftheorem Def3 defines ManySortedSet PBOOLE:def 3 :
:: deftheorem Def4 defines in PBOOLE:def 4 :
:: deftheorem Def5 defines c= PBOOLE:def 5 :
theorem Th3: :: PBOOLE:3
:: deftheorem Def6 defines [0] PBOOLE:def 6 :
:: deftheorem Def7 defines \/ PBOOLE:def 7 :
:: deftheorem Def8 defines /\ PBOOLE:def 8 :
:: deftheorem Def9 defines \ PBOOLE:def 9 :
:: deftheorem Def10 defines overlaps PBOOLE:def 10 :
:: deftheorem Def11 defines misses PBOOLE:def 11 :
:: deftheorem Def12 defines \+\ PBOOLE:def 12 :
theorem Th4: :: PBOOLE:4
theorem Th5: :: PBOOLE:5
theorem Th6: :: PBOOLE:6
theorem Th7: :: PBOOLE:7
theorem Th8: :: PBOOLE:8
theorem Th9: :: PBOOLE:9
theorem Th10: :: PBOOLE:10
theorem Th11: :: PBOOLE:11
theorem Th12: :: PBOOLE:12
:: deftheorem Def13 defines = PBOOLE:def 13 :
theorem Th13: :: PBOOLE:13
canceled;
theorem Th14: :: PBOOLE:14
canceled;
theorem Th15: :: PBOOLE:15
theorem Th16: :: PBOOLE:16
theorem Th17: :: PBOOLE:17
theorem Th18: :: PBOOLE:18
theorem Th19: :: PBOOLE:19
theorem Th20: :: PBOOLE:20
theorem Th21: :: PBOOLE:21
theorem Th22: :: PBOOLE:22
theorem Th23: :: PBOOLE:23
theorem Th24: :: PBOOLE:24
theorem Th25: :: PBOOLE:25
theorem Th26: :: PBOOLE:26
theorem Th27: :: PBOOLE:27
theorem Th28: :: PBOOLE:28
theorem Th29: :: PBOOLE:29
theorem Th30: :: PBOOLE:30
canceled;
theorem Th31: :: PBOOLE:31
canceled;
theorem Th32: :: PBOOLE:32
canceled;
theorem Th33: :: PBOOLE:33
canceled;
theorem Th34: :: PBOOLE:34
theorem Th35: :: PBOOLE:35
theorem Th36: :: PBOOLE:36
theorem Th37: :: PBOOLE:37
theorem Th38: :: PBOOLE:38
theorem Th39: :: PBOOLE:39
theorem Th40: :: PBOOLE:40
theorem Th41: :: PBOOLE:41
theorem Th42: :: PBOOLE:42
theorem Th43: :: PBOOLE:43
theorem Th44: :: PBOOLE:44
theorem Th45: :: PBOOLE:45
theorem Th46: :: PBOOLE:46
theorem Th47: :: PBOOLE:47
theorem Th48: :: PBOOLE:48
theorem Th49: :: PBOOLE:49
theorem Th50: :: PBOOLE:50
theorem Th51: :: PBOOLE:51
theorem Th52: :: PBOOLE:52
theorem Th53: :: PBOOLE:53
theorem Th54: :: PBOOLE:54
theorem Th55: :: PBOOLE:55
theorem Th56: :: PBOOLE:56
theorem Th57: :: PBOOLE:57
theorem Th58: :: PBOOLE:58
theorem Th59: :: PBOOLE:59
theorem Th60: :: PBOOLE:60
theorem Th61: :: PBOOLE:61
theorem Th62: :: PBOOLE:62
theorem Th63: :: PBOOLE:63
theorem Th64: :: PBOOLE:64
theorem Th65: :: PBOOLE:65
theorem Th66: :: PBOOLE:66
theorem Th67: :: PBOOLE:67
theorem Th68: :: PBOOLE:68
theorem Th69: :: PBOOLE:69
theorem Th70: :: PBOOLE:70
theorem Th71: :: PBOOLE:71
theorem Th72: :: PBOOLE:72
theorem Th73: :: PBOOLE:73
theorem Th74: :: PBOOLE:74
theorem Th75: :: PBOOLE:75
theorem Th76: :: PBOOLE:76
theorem Th77: :: PBOOLE:77
theorem Th78: :: PBOOLE:78
theorem Th79: :: PBOOLE:79
theorem Th80: :: PBOOLE:80
theorem Th81: :: PBOOLE:81
theorem Th82: :: PBOOLE:82
theorem Th83: :: PBOOLE:83
theorem Th84: :: PBOOLE:84
theorem Th85: :: PBOOLE:85
theorem Th86: :: PBOOLE:86
theorem Th87: :: PBOOLE:87
theorem Th88: :: PBOOLE:88
theorem Th89: :: PBOOLE:89
theorem Th90: :: PBOOLE:90
canceled;
theorem Th91: :: PBOOLE:91
theorem Th92: :: PBOOLE:92
theorem Th93: :: PBOOLE:93
canceled;
theorem Th94: :: PBOOLE:94
theorem Th95: :: PBOOLE:95
theorem Th96: :: PBOOLE:96
theorem Th97: :: PBOOLE:97
theorem Th98: :: PBOOLE:98
theorem Th99: :: PBOOLE:99
theorem Th100: :: PBOOLE:100
theorem Th101: :: PBOOLE:101
theorem Th102: :: PBOOLE:102
theorem Th103: :: PBOOLE:103
theorem Th104: :: PBOOLE:104
theorem Th105: :: PBOOLE:105
theorem Th106: :: PBOOLE:106
theorem Th107: :: PBOOLE:107
canceled;
theorem Th108: :: PBOOLE:108
theorem Th109: :: PBOOLE:109
theorem Th110: :: PBOOLE:110
theorem Th111: :: PBOOLE:111
theorem Th112: :: PBOOLE:112
theorem Th113: :: PBOOLE:113
theorem Th114: :: PBOOLE:114
theorem Th115: :: PBOOLE:115
theorem Th116: :: PBOOLE:116
theorem Th117: :: PBOOLE:117
canceled;
theorem Th118: :: PBOOLE:118
theorem Th119: :: PBOOLE:119
theorem Th120: :: PBOOLE:120
theorem Th121: :: PBOOLE:121
theorem Th122: :: PBOOLE:122
theorem Th123: :: PBOOLE:123
theorem Th124: :: PBOOLE:124
theorem Th125: :: PBOOLE:125
canceled;
theorem Th126: :: PBOOLE:126
theorem Th127: :: PBOOLE:127
theorem Th128: :: PBOOLE:128
theorem Th129: :: PBOOLE:129
:: deftheorem Def14 defines [= PBOOLE:def 14 :
theorem Th130: :: PBOOLE:130
theorem Th131: :: PBOOLE:131
canceled;
theorem Th132: :: PBOOLE:132
theorem Th133: :: PBOOLE:133
theorem Th134: :: PBOOLE:134
theorem Th135: :: PBOOLE:135
theorem Th136: :: PBOOLE:136
theorem Th137: :: PBOOLE:137
theorem Th138: :: PBOOLE:138
theorem Th139: :: PBOOLE:139
theorem Th140: :: PBOOLE:140
:: deftheorem Def15 defines empty-yielding PBOOLE:def 15 :
:: deftheorem Def16 defines non-empty PBOOLE:def 16 :
theorem Th141: :: PBOOLE:141
theorem Th142: :: PBOOLE:142
theorem Th143: :: PBOOLE:143
theorem Th144: :: PBOOLE:144
theorem Th145: :: PBOOLE:145
theorem Th146: :: PBOOLE:146
theorem Th147: :: PBOOLE:147
theorem Th148: :: PBOOLE:148
theorem Th149: :: PBOOLE:149
theorem Th150: :: PBOOLE:150
theorem Th151: :: PBOOLE:151
:: deftheorem Def17 defines Element PBOOLE:def 17 :
:: deftheorem Def18 defines ManySortedFunction PBOOLE:def 18 :
:: deftheorem Def19 defines # PBOOLE:def 19 :
:: deftheorem Def20 defines *--> PBOOLE:def 20 :
theorem Th152: :: PBOOLE:152
theorem Th153: :: PBOOLE:153
:: deftheorem Def21 defines [| PBOOLE:def 21 :
:: deftheorem Def22 defines MSFuncs PBOOLE:def 22 :
:: deftheorem Def23 defines ManySortedSubset PBOOLE:def 23 :
:: deftheorem Def24 defines ** PBOOLE:def 24 :
:: deftheorem Def25 defines .:.: PBOOLE:def 25 :