Data.Logic.Harrison.FOL
eval
list_disj
list_conj
var
fv
subst
generalize