theory
0.20.9
theory
/
it.unibo.tuprolog.theory
/
MutableTheory
/
toMutableTheory
to
Mutable
Theory
open
override
fun
toMutableTheory
(
)
:
MutableTheory
Content copied to clipboard