at
.
logic
.
gapt
.
proofs
.
ceres
structterm
package
structterm
Visibility
Public
All
Value Members
object
DualC
extends
MonomorphicLogicalC
object
DualSymbol
extends
SymbolA
with
Product
with
Serializable
object
EmptyPlusC
extends
MonomorphicLogicalC
object
EmptyPlusSymbol
extends
SymbolA
with
Product
with
Serializable
object
EmptyTimesC
extends
MonomorphicLogicalC
object
EmptyTimesSymbol
extends
SymbolA
with
Product
with
Serializable
object
PlusC
extends
MonomorphicLogicalC
object
PlusSymbol
extends
SymbolA
with
Product
with
Serializable
object
TimesC
extends
MonomorphicLogicalC
object
TimesSymbol
extends
SymbolA
with
Product
with
Serializable
Ungrouped