readTheory

open fun readTheory(inputStream: InputStream, operators: OperatorSet): Theory
Content copied to clipboard
open fun readTheory(reader: Reader, operators: OperatorSet): Theory
Content copied to clipboard
open fun readTheory(inputStream: InputStream): Theory
Content copied to clipboard
open fun readTheory(reader: Reader): Theory
Content copied to clipboard