at
.
logic
.
gapt
.
proofs
sketch
package
sketch
Visibility
Public
All
Type Members
case class
RefutationSketch
(
steps:
Seq
[
Step
]
)
extends
Product
with
Serializable
Value Members
object
RefutationSketch
extends
Serializable
object
RefutationSketchToRobinson
extends
Logger
Ungrouped