The parameter names have changed between versions as newer versions include a name-space mechanism for parameter names. The Python API has a method for listing parameter descriptions: For example:
fp = Fixedpoint()
print fp.param_descrs()
prints the set of available parameters (permalink: rise4fun.com/Z3Py/r32)