load

fun load(theory: String)

Replaces the theory with theory, as Prolog text