fix in hol: hol.Equation now matches also Atom(HOLConst(=,Ti->Ti->To), s,t), to have similar behaviour with fol.Equation. The implementation has a handwrritten unapply method, if you know a better solution, please tell me. bug fixes in ral (handles non-idempotent substitutions correctly), robinson to ral

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2155 85d21ef8-add0-11de-ae77-5bfb9c5a3f34