Fixed bugs in TPVisitor for bound variables and record names
Merge commit '1898115f8bf5c5f64d45d532296ff36a7c07d86a' into rjp
Fixing various TP bugs for examples to go through TP Visitor
Merge commit 'aeb34dfed7b967a0fb99fb54a91b3418c5f16b65' into rjp
Fixed bug #300
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.
Merge commit '52e96cc6758cee065c05b178075cedc5eef9aeff' into rjp
Merge commit 'fa2286da079dfd01d070ca7964c5f802e17fd931' into rjp