Dependencies for free-theorems-0.3

library