Addressed bug #300. A slight hack, to ensure that the Isabelle theory does not have issues with implicit functions with no parameters - in this case, add a 'dummy' parameter.