emptyListed

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

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