Generated with

gapt/gapt/gapt.prooftool/ContainsSequentProof

ContainsSequentProof

gapt.prooftool.ContainsSequentProof

trait ContainsSequentProof

Attributes

Source: MenuButtons.scala
Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: trait ContainsLKProof

class LKProofViewer

class SequentProofViewer[F, T]

class NDProofViewer

Members list

Value members

Abstract methods

Hides all formulas except main and auxiliary ones.

Hides all formulas except main and auxiliary ones.

Attributes

Source: MenuButtons.scala

Removes all markings.

Removes all markings.

Attributes

Source: MenuButtons.scala

Shows all formulas in the proof

Shows all formulas in the proof

Attributes

Source: MenuButtons.scala

In this article

Generated with