emptyListed

@JvmStatic()
fun emptyListed(): Theory
Content copied to clipboard

Creates a Theory backed by a list, containing the given clauses