Added several additional action and process operators to the visitor
More addition of CML syntax to the TP and fixes to existing syntax
Merge commit '2fd5ccfc31daf5e9832aa98d0a08859f2515a5cf' into development
Merge commit '8d894e07af8c945f42ee9e35696236ceca05399e' into development
bump overture dependency to 2.1.1-SNAPSHOT
Initial infrastructure for bug regression test worl/
Initial structure for variable substitution visitor.
Update poms to use Isabelle-Eclipse 2013-2.