%THEOREM% : theorem

Book Theorems

• descr
• ext
• ext-leib
• refl=
• sym=
• t5302
• t5310
• t5310a

First-Order Logic

• x2106
• x2107
• x2108
• x2109
• x2110
• x2111
• x2112
• x2113
• x2114
• x2115
• x2116
• x2117
• x2118
• x2119
• x2120
• x2121
• x2122
• x2123
• x2124
• x2125
• x2126
• x2127
• x2128
• x2129
• x2130
• x2131
• x2132
• x2133
• x2134
• x2135
• x2136
• x2137
• x2138

Higher-Order Logic

• x5200
• x5201
• x5202
• x5203
• x5204
• x5205
• x5206
• x5207
• x5208
• x5209
• x5210
• x5211
• x5212
• x5303
• x5304
• x5305
• x5308
• x5309
• x5310
• x5500
• x6004
• x6101
• x6104
• x6105
• x6106
• x6201

TPS documentation homepage

TPS homepage