at
.
logic
.
gapt
.
proofs
.
ceres_schema
projections
package
projections
Visibility
Public
All
Type Members
case class
ProjectionException
(
message:
String
,
original_proof:
LKProof
,
new_proofs:
List
[
LKProof
]
,
nested:
Exception
)
extends
Exception
with
Product
with
Serializable
Value Members
object
DeleteRedundantSequents
object
DeleteReduntantFOfromSequent
object
DeleteTautology
object
Projections
extends
Logger
Ungrouped