at
.
logic
.
gapt
.
provers
.
atp
.
commands
.
refinements
simple
package
simple
Visibility
Public
All
Type Members
case class
SimpleRefinementGetCommand
[
V <:
OccSequent
]
()
extends
InitialCommand
[
V
] with
Logger
with
Product
with
Serializable
Ungrouped