removeSkolemCongruences

gapt.proofs.expansion.removeSkolemCongruences

Attributes

Source
removeSkolemCongruences.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list