Colm Kennedy - 2008-06-03

Everything (up to create constant/assert axiom(s)) working.