Searched refs:theory_constructors (Results 1 – 2 of 2) sorted by relevance
43 theory_constructors=155 theory_constructors="${theory_constructors}406 eval "theory_constructors=\"$theory_constructors\""417 theory_constructors \
45 ${theory_constructors} in addTheory()