at
.
logic
.
gapt
.
proofs
.
resolution
andrews
package
andrews
Visibility
Public
All
Value Members
object
AllFType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
AllTType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
AndF
object
AndFType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
AndTL
object
AndTLType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
AndTR
object
AndTRType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
Cut
object
CutType
extends
BinaryRuleTypeA
with
Product
with
Serializable
object
ExFType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
ExTType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
ExistsF
object
ExistsT
object
ForallF
object
ForallT
object
ImplFL
object
ImplFLType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
ImplFR
object
ImplFRType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
ImplT
object
ImplTType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
NotF
object
NotFType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
NotT
object
NotTType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
OrFL
object
OrFLType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
OrFR
object
OrFRType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
OrT
object
OrTType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
Sub
object
SubType
extends
UnaryRuleTypeA
with
Product
with
Serializable
Ungrouped