Free theory

Redirect to:

• Function symbol#Uninterpreted functions