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
Merged with origin/development. Working (partially) with the second exemple of Insiel.
removed brackets from example
close #284 the obscure error was becasue the p/a = k: int @ ... by default was made an instance variable. Now val is the default CML type making it a value. res, and (maybe vres) makes instanve variables. A type check has also been added for these arguments such that they are checked.
missing java doc tags added - description
fixed #288 added check to reject res/vres in process definitions
reduced co-sim test size