Package

at.logic.gapt.provers.atp.commands.refinements

simple

Permalink

package simple

Visibility
  1. Public
  2. All

Type Members

  1. case class SimpleRefinementGetCommand[V <: OccSequent]() extends InitialCommand[V] with Logger with Product with Serializable

    Permalink

Ungrouped