Merge branch 'origin/sdf'
Merge remote-tracking branch 'origin/development' into sdf
Merge remote-tracking branch 'origin/development' into sdf
Merge branch 'origin/test'
Simplified TP and POG context menus, and removed Z3 check box due to change in current Isabelle/Eclipse
Merge commit '8c5c2ad9050b02698754b95d5eeac53247ab4644' into rjp
Added seq-left-identity refinement law.
Added sequential composition to pretty printer.
Merge remote-tracking branch 'origin/ahm' into sdf
Added an equality law in the form of two refinement laws (LLL-lr and LLL-rl) for the left to right and right to left applications.

Fixed the issue with & not showing. It is a limitation of eclipse labels. Before returning the details of a law, I'm replacing each & by &&, which is the escaped form accepted by the widget.
Added the copy rule for both simple action calls and parametrised actions (including val, res and vres parameters). I had to implement this as a progammatic rule because I needed access to the ast to recover the definition of the action.
Added the copy rule for both simple action calls and parametrised actions (including val, res and vres parameters). I had to implement this as a progammatic rule because I needed access to the ast to recover the definition of the action.
Removed an irrelevant comment
Merge remote-tracking branch 'origin/ahm' into sdf
Merge remote-tracking branch 'origin/development' into sdf
Merge remote-tracking branch 'origin/development' into sdf
Added action replacement and subaction checking.
Added refinement of action declaration.
Added refinement of implicit recursion to explicit recursion (need to add selection of recursion action name).
Merge commit '330f37f9fc71109c3564e3b42b6eee7db744cfcc' into rjp
Bug fixing in TP visitor
Merge commit '921bffd6c784f7ccd230c1f3013c02d5d7be7d83' into rjp
Merge remote-tracking branch 'origin/ahm' into sdf