Dependencies for FirstOrderTheory-0.1.0.4

Libraries

FirstOrderTheory